{"library":"minisat-master-keying","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":[]}]}