cryptominisat-rs

Rust bindings for CryptoMiniSat, a boolean satisfiability solver

MIT License

Downloads
6.2K
Stars
8
Committers
2
View Code on GitHub
Ecosystems: Rust

Commit Statistics

Past Year

All Time

Total Commits
0
10
Total Committers
0
2
Avg. Commits Per Committer
0.0
5.0
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
2
Merged Pull Requests
0
1
Total Issues
0
3
Time to Close Issues
N/A
9 months
Package Rankings
Top 24.85% on Crates.io
Related Projects
necessist

A mutation-based tool for finding bugs in tests

04 Nov 2020 86
autophagy

Yet another AOT compiler for Rust

07 May 2023 4
satire

An educational SAT solver written in Rust

23 Jun 2021 12
markup.rs

A blazing fast, type-safe template engine for Rust.

03 Dec 2018 356
cfr

Counterfactual regret minimization of two-player zero-sum incomplete-information games in rust

03 Jul 2022 3
compiler-builtins

Porting `compiler-rt` intrinsics to Rust

07 Aug 2016 360
prolog-rs

Minimal Prolog implemented in Rust

06 Sep 2024 39
overloadf

Unlock function overloading in rust

11 May 2020 12
lrs

A library crate for resolving logical clauses in conjuctive normal form

24 Oct 2017 0
rust-awk

Rust Implementation of Awk

06 Aug 2020 5
higher

Your favourite Haskell type classes for Rust

25 Feb 2019 217
sat-rs

A SAT solver written in Rust

26 Oct 2023 2
rslogic

A logic programming library (inspired by uKanren) in Rust.

31 Jan 2016 18