{"library":"minisat-master-keying","type":"library","category":null,"description":"A minimalistic high-performance SAT solver. This is a modernized, cross-platform, CMake-enabled fork of the original MiniSat.","language":"cpp","status":"active","version":"2.3.6","tags":["sat","solver","logic","constraint"],"last_verified":"Wed Jun 17","install":[{"cmd":"vcpkg install minisat-master-keying","imports":["#include <minisat/core/Solver.h>"]},{"cmd":"# CMakeLists.txt\nfind_package(minisat_master_keying CONFIG REQUIRED)\ntarget_link_libraries(main PRIVATE MiniSat::MiniSat)","imports":[]}],"homepage":null,"github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}