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

Commit Statistics

Past Year

All Time

Total Commits
9
68
Total Committers
1
2
Avg. Commits Per Committer
9.0
34.0
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
1
Merged Pull Requests
0
1
Total Issues
0
0
Time to Close Issues
N/A
N/A
Package Rankings
Top 39.46% on Crates.io
Related Projects
rjvm

A tiny JVM written in Rust. Learning project

11 Feb 2023 1,460
loxcraft

Language tooling for the Lox programming language.

16 Oct 2019 262
gdlk

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

04 Nov 2019 1
awesome-alternatives-in-rust

A curated list of replacements for existing software written in Rust

25 May 2021 3,531
sigil

a lisp oxide

27 Mar 2021 3
satire

An educational SAT solver written in Rust

23 Jun 2021 12
learn-rs

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

19 May 2023 4
rust-how-do-i-start

Hand curated advice and pointers for getting started with Rust

05 Apr 2022 1,070
nicod

Experimental logic programming system, written in Rust

06 Nov 2019 7
varisat

SAT solver written in Rust

03 Feb 2019 243
aoc2023

Advent of code in Rust

05 Dec 2023 9
sat-rs

A SAT solver written in Rust

26 Oct 2023 2
rust-web-developer-roadmap

Roadmap to becoming a Rust Web Developer in 2022

30 Apr 2019 1,798
rust-cli-examples

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

12 Mar 2023 19
learn-rust-for-fe

Rust是未来前端基础设施

09 Nov 2021 1,726