Package libminisat: Information
Binary package: libminisat
Version: 2.2.0-alt5
Architecture: e2kv4
Build time: Oct 31, 2020, 12:54 PM
Source package: libminisat
Category: System/Libraries
Report package bugHome page: http://minisat.se
License: BSD style
Summary: The library for Boolean satisfiability problem solving
Description:
This package contains libminisat library as Deepsolver engine for SAT solving. You can find original library at http://minisat.se.
Maintainer: Michael Pozhidaev
Last changed
Dec. 5, 2013 Michael Pozhidaev 2.2.0-alt5
- Fixed building bug with missed m4 directory
March 1, 2013 Michael Pozhidaev 2.2.0-alt4
- Proper collisions support - Assumptions support is removed
Jan. 19, 2013 Michael Pozhidaev 2.2.0-alt3
- Conflicts analyzing is added