./math/minisat [minimalistic Boolean satisfiability solver]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 2.2.0.20170810, Package name: minisat-2.2.0.20170810
Maintained by: Jasper Lievisse Adriaanse
Master sites:
Description
MiniSat is a minimalistic, open-source Boolean satisfiability problem
(SAT) solver, developed to help researchers and developers alike to get
started on SAT.
Some key features of MiniSat:

* Easy to modify. MiniSat is small and well-documented, and possibly
also well-designed, making it an ideal starting point for adapting SAT
based techniques to domain specific problems.
* Highly efficient. Winning all the industrial categories of the SAT
2005 competition, MiniSat is a good starting point both for future
research in SAT, and for applications using SAT.
* Designed for integration. MiniSat supports incremental SAT and has
mechanisms for adding non-clausal constraints. By virtue of being easy
to modify, it is a good choice for integrating as a backend to another
tool, such as a model checker or a more generic constraint solver.

The OpenBSD package of MiniSAT installs two binaries:
minisat_core = A core version of the solver.
minisat = An extended solver with simplification capabilities.


Filesize: 48.383 KB
Version History (View Complete History)
  • (2017-08-21) Updated to version: minisat-2.2.0.20170810
  • (2010-08-19) Updated to version: minisat-2.2.0
  • (2010-05-14) Updated to version: minisat-1.14p1
  • (2009-09-18) Updated to version: minisat-1.14p0
  • (2009-09-18) Package added to openports.se, version minisat-1.14 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-08-20 10:39:44 by Jeremie Courreges-Anglas | Files touched by this commit (11)
Log message:
Update to latest git master.
Built with cmake, installs minisat libraries (needed for a devel/stp
update).  Discussed with jasper@ at t2k17.
   2017-07-26 16:45:35 by Stuart Henderson | Files touched by this commit (937)
Log message:
bump LIBCXX/LIBECXX/COMPILER_LIBCXX ports.
   2017-07-23 03:26:30 by Marc Espie | Files touched by this commit (244)
Log message:
add pthread to COMPILER_LIBCXX.
white lie, but it allows clang and gcc to be more similar
bump accordingly.
   2017-07-16 13:19:06 by Marc Espie | Files touched by this commit (880)
Log message:
use COMPILER_LIBCXX where applicable
   2017-05-19 17:20:59 by Marc Espie | Files touched by this commit (1)
Log message:
fix friend
   2017-04-10 05:46:23 by Stuart Henderson | Files touched by this commit (276)
Log message:
use LIBCXX
   2017-02-27 12:48:41 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
Respect CXX
   2015-01-17 20:16:09 by Christian Weisgerber | Files touched by this commit (3349)
Log message:
Drop remaining MD5/RMD160/SHA1 checksums.
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-08-19 08:19:22 by Edd Barrett | Files touched by this commit (9)
Log message:
update to minisat 2.2.0
OK jasper@
   2010-07-18 04:50:12 by Steven Mestdagh | Files touched by this commit (20)
Log message:
REVISION
   2010-05-13 12:29:47 by Jasper Lievisse Adriaanse | Files touched by this commit (3)
Log message:
- bump to a version that support proof logging
- don't hide compilation commands
   2010-05-13 12:29:47 by Jasper Lievisse Adriaanse | Files touched by this commit (3)
Log message:
- bump to a version that support proof logging
- don't hide compilation commands
   2010-05-13 12:29:47 by Jasper Lievisse Adriaanse | Files touched by this commit (3)
Log message:
- bump to a version that support proof logging
- don't hide compilation commands
   2009-09-18 03:31:33 by Jasper Lievisse Adriaanse | Files touched by this commit (2)
Log message:
- resolve ambiguity about what SAT is (prodded by naddy@)
- take maintainership
   2009-09-18 03:31:33 by Jasper Lievisse Adriaanse | Files touched by this commit (2)
Log message:
- resolve ambiguity about what SAT is (prodded by naddy@)
- take maintainership