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 RPM packages built from 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
    VKontakte|Telegram|YouTube|Forum|GitHub|Bugzilla
    Version: v25.2.1
    Back to top