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 bugHome page: http://minisat.se
License: BSD style
Summary: C/C++ development files for libminisat
Description:
C/C++ development files for liblibminisat.
Maintainer: 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