rust-sat

mastermind

A mastermind solver for finding optimal worst-case guesses with SIMD and multithreading support

rust99

This is an adoption of S-99 or P-99 for Rustlang 🦀

Rustdoku

A simple Sudoku solver written in Rust

rustlings

cryptominisat-rs

Rust bindings for CryptoMiniSat, a boolean satisfiability solver

aoc2023

Advent of code in Rust

sat-rs

A SAT solver written in Rust

learnRust

programming exercise solutions in Rust

starlit

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of ...

100-exercises-to-learn-rust

ratsat

MiniSat reimplemented in Rust

100-exercises-to-learn-rust

A self-paced course to learn Rust, one exercise at a time.

rust-analyzer

A Rust compiler front-end for IDEs

satire

An educational SAT solver written in Rust

rustlings-solutions

Solutions for rust-langs rustlings exercises