Package minisat: Information

    Source package: minisat
    Version: 2.2.1-alt1
    Build time:  Nov 25, 2023, 10:38 PM
    Category: Sciences/Mathematics
    Report package bug
    Home page: http://minisat.se/
    VCS: https://github.com/niklasso/minisat
    License: MIT
    Summary: A minimalistic and high-performance SAT solver
    Description: 
    MiniSat is a minimalistic, open-source SAT solver, developed to help
researchers and developers alike to get started on SAT.
    List of RPM packages built from this SRPM:
    libminisat-devel (e2kv6, e2kv5, e2kv4, e2k)
    libminisat-devel-static (e2kv6, e2kv5, e2kv4, e2k)
    libminisat2 (e2kv6, e2kv5, e2kv4, e2k)
    libminisat2-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
    minisat (e2kv6, e2kv5, e2kv4, e2k)
    minisat-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
    Maintainer: Vitaly Chikunov
    List of contributors:
    Vitaly Chikunov
    Michael Pozhidaev
      1. gcc-c++
      2. zlib-devel

    Last changed

    Nov. 15, 2023 Vitaly Chikunov 2.2.1-alt1
    - Revive the package (for cbmc).
- Upstream is abandoned sine 2013-09-25, community released what had not been
  released as 2.2.1 (2018-03-07), then maintaining mostly CMake build system.
    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
    VKontakte|Telegram|YouTube|Forum|ALT Linux Space|Bugzilla
    Version: v25.10.0
    Back to top