11 skills found
conda / PycosatPython bindings to picosat (a SAT solver)
sisl / PicoSAT.jlJulia bindings to the SAT solver picosat
c-cube / BatsatA (parametrized) Rust SAT solver originally based on MiniSat
KardinalAI / Cp SatGoogle CP-SAT solver Rust bindings
mame / Ruby Minisatruby binding for MiniSat, which is an open-source SAT solver
justinfx / PakrA package version resolver Go library, built on top of bindings for picosat (SAT Solver)
mmaroti / Cadical RsRust bindings for the CaDiCaL SAT solver
firefighterduck / Kissat RsRust bindings for the Kissat SAT solver.
mmaroti / JnisatJava JNI bindings for the PicoSat and MiniSat SAT solvers
sirandreww / Cadical SysUnsafe system level bindings of the cadical sat solver written in C++
tuzz / Ipasir SysA Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.
