Package libminisat-devel-static: Information
Binary package: libminisat-devel-static
Version: 2.2.0-alt5
Architecture: e2kv4
Build time: Oct 31, 2020, 12:54 PM
Source package: libminisat
Category: Development/C
Report package bugHome page: http://minisat.se
License: BSD style
Summary: The static library with libminisat functions
Description:
The static library with libminisat functions.
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