minisat-c-bindings | C++ Ecosystem Directory

Statistics for this project are still being loaded, please check back later.

sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS ...

Magical headers that make your C++ library accessible from JavaScript

Experimental pybind11 clone for Node.js using C++17 fold expressions

A Python API for the MiniSat and MiniCard constraint solvers.

Research for N-API Bindings

A minimalistic and high-performance SAT solver

A model checker based on SAT solving and induction

Collection of examples for the MiniSat API

The Pseudo-Boolean Solver MiniSat+

llama.cpp bindings for JavaScript

MiniCard: An efficient cardinality solver based on MiniSAT

nanobind: tiny and efficient C++/Python bindings