Package libminisat-devel: Information

    Binary package: libminisat-devel
    Version: 2.2.0-alt5
    Architecture: e2kv5
    Build time:  Oct 31, 2020, 12:43 PM
    Source package: libminisat
    Category: Development/C
    Report package bug
    Home page: http://minisat.se

    License: BSD style
    Summary: C/C++ development files for libminisat
    Description: 
    C/C++ development files for liblibminisat.

    Maintainer: Michael Pozhidaev

    List of contributors:
    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