Package libminisat: Information
Source package: libminisat
Version: 2.2.0-alt5
Build time: Dec 5, 2013, 11:21 AM in the task #109998
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
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