Package libminisat: Information

Source package: libminisat
Version: 2.2.0-alt5
Build time:  Jan 4, 2021, 02:54 AM
Category: System/Libraries
Report package bug
Home 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 (e2kv5, e2kv4, e2k)
libminisat-debuginfo (e2kv5, e2kv4, e2k)
libminisat-devel (e2kv5, e2kv4, e2k)
libminisat-devel-static (e2kv5, e2kv4, e2k)

Maintainer: Michael Pozhidaev

List of contributors:
Michael Pozhidaev

    1. gcc-c++
    2. zlib-devel

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