Ubuntu

Binary package “libcryptominisat5-dev” in ubuntu noble

  1. Noble (24.04)
  2. libcryptominisat5-dev

development files for the CryptoMiniSat SAT solver

 CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
 .
 This package provides C++ header files to interface with CryptoMiniSat. See
 https://github.com/msoos/cryptominisat#library-usage for some examples. This
 package also includes the experimental cryptominisat_c.h header to interface
 with CryptoMiniSat from C.

Source package