Rpicosat
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Go Z3 | 92 | 3 years ago | 1 | December 28, 2019 | 4 | mit | Go | |||
| Go (golang) bindings to the Z3 SMT Solver | ||||||||||
| Minisat Rust | 51 | 5 years ago | 3 | other | Rust | |||||
| Experimental minisat SAT solver reimplementation in Rust | ||||||||||
| Haskell Picosat | 13 | 3 | 4 years ago | 9 | December 02, 2023 | 1 | mit | C | ||
| Haskell bindings for PicoSAT solver | ||||||||||
| Pigosat | 13 | 6 years ago | 7 | February 18, 2018 | 3 | other | C | |||
| Go (golang) bindings for Picosat, the satisfiability solver | ||||||||||
| Rpicosat | 6 | 2 years ago | 2 | November 15, 2017 | other | R | ||||
| PicoSAT bindings for R | ||||||||||
| Nodepicosat | 6 |  | 2 | 6 years ago | 6 | March 31, 2018 | 3 | other | JavaScript | |
| SAT solver PicoSAT for javascript | ||||||||||
Alternatives To RpicosatSelect To Compare
Alternative Project Comparisons
Popular Bindings Projects
Popular Sat Solver Projects
Popular Libraries Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
R
Bindings
Logic Programming
Sat Solver