C-Bindings to MiniSat
No README available, please check again later.
A minimalistic and high-performance SAT solver
nanobind: tiny and efficient C++/Python bindings
Research for N-API Bindings
Experimental pybind11 clone for Node.js using C++17 fold expressions
The Pseudo-Boolean Solver MiniSat+
sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS ...
llama.cpp bindings for JavaScript
Collection of examples for the MiniSat API
A Python API for the MiniSat and MiniCard constraint solvers.
A model checker based on SAT solving and induction
Magical headers that make your C++ library accessible from JavaScript
MiniCard: An efficient cardinality solver based on MiniSAT