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:

License: BSD style
Summary: The library for Boolean satisfiability problem solving
This package contains libminisat library as Deepsolver engine for SAT solving. You can find
original library at

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