starlit

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

OTHER License

Downloads
815
Stars
10
Committers
2
View Code on GitHub
Ecosystems: Rust

No README available, please check again later.

Package Rankings
Top 39.46% on Crates.io
Related Projects
rust-web-developer-roadmap

Roadmap to becoming a Rust Web Developer in 2022

30 Apr 2019 1,798
aoc2023

Advent of code in Rust

05 Dec 2023 9
satire

An educational SAT solver written in Rust

23 Jun 2021 12
awesome-alternatives-in-rust

A curated list of replacements for existing software written in Rust

25 May 2021 3,531
learn-rs

Getting started with Rust: resources, tools and code samples for learning Rust

19 May 2023 4
nicod

Experimental logic programming system, written in Rust

06 Nov 2019 7
sat-rs

A SAT solver written in Rust

26 Oct 2023 2
learn-rust-for-fe

Rust是未来前端基础设施

09 Nov 2021 1,726
rjvm

A tiny JVM written in Rust. Learning project

11 Feb 2023 1,460
rust-cli-examples

Jim's solutions and tests to the rust-cli-exercises: https://github.com/JimLynchCodes/rust-cli-ex...

12 Mar 2023 19
gdlk

GDLK is a web-based puzzle game based on an assembly-like programming language.

04 Nov 2019 1
sigil

a lisp oxide

27 Mar 2021 3
rust-how-do-i-start

Hand curated advice and pointers for getting started with Rust

05 Apr 2022 1,070
loxcraft

Language tooling for the Lox programming language.

16 Oct 2019 262
varisat

SAT solver written in Rust

03 Feb 2019 243