Package libminisat: Information
Source package: libminisat
Version: 2.2.0-alt4
Build time: Mar 4, 2013, 09:28 AM
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.
List of rpms provided by this srpm:
libminisat (x86_64, i586)
libminisat-debuginfo (x86_64, i586)
libminisat-devel (x86_64, i586)
libminisat-devel-static (x86_64, i586)
libminisat (x86_64, i586)
libminisat-debuginfo (x86_64, i586)
libminisat-devel (x86_64, i586)
libminisat-devel-static (x86_64, i586)
Maintainer: Michael Pozhidaev
Last changed
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
Dec. 22, 2012 Michael Pozhidaev 2.2.0-alt2
- Variable value assumption support added