{"schema_version":1,"metadata":{"branch":"current","release":"7.9","architecture":"amd64","generated_at":"2026-09-09T04:04:41.004595+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/snapshots/packages/amd64/sqlports-7.55.tgz","source_sha256":"fcdbba1b9df747882aa9bab4af20ebec8dac10655069c90f1cd4145c06e1235e","package_count":12031,"source_kind":"sqlports"},"package":{"name":"minisat-2.2.0.20170810p1","path":"math/minisat","url":"/packages/current/math/minisat/","comment":"minimalistic Boolean satisfiability solver","homepage":"http://minisat.se/","maintainer":"The OpenBSD ports mailing-list <ports@openbsd.org>","description":"MiniSat is a minimalistic, open-source Boolean satisfiability problem\n(SAT) solver, developed to help researchers and developers alike to get\nstarted on SAT.\nSome key features of MiniSat:\n\n* Easy to modify. MiniSat is small and well-documented, and possibly\n  also well-designed, making it an ideal starting point for adapting SAT\n  based techniques to domain specific problems.\n* Highly efficient. Winning all the industrial categories of the SAT\n  2005 competition, MiniSat is a good starting point both for future\n  research in SAT, and for applications using SAT.\n* Designed for integration. MiniSat supports incremental SAT and has\n  mechanisms for adding non-clausal constraints. By virtue of being easy\n  to modify, it is a good choice for integrating as a backend to another\n  tool, such as a model checker or a more generic constraint solver.\n\nThe OpenBSD package of MiniSAT installs two binaries:\n  minisat_core  = A core version of the solver.\n  minisat       = An extended solver with simplification capabilities.\n","package_architecture":"amd64","stem":"minisat","readme":null,"dependencies":[{"path":"devel/cmake/core","type":"build","package_spec":"STEM->=4","url":"/packages/current/devel/cmake/core/"},{"path":"devel/ninja","type":"build","package_spec":"","url":"/packages/current/devel/ninja/"}],"reverse_dependencies":{"count":2,"url":"/packages/data/73/7350caf12a85b00a1d0b6aae0453f04358d3160903fc65d365ff8e9c02a0779c.json"},"categories":["math"],"flavors":[],"only_for_architectures":["aarch64","amd64","arm","i386","mips64","mips64el","powerpc","powerpc64","riscv64","sparc64","alpha","hppa","m88k","sh"],"not_for_architectures":[]}}