Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: minisat-devel | Distribution: SUSE Linux Enterprise 15 SP3 |
Version: 2.2.0+20130925 | Vendor: openSUSE |
Release: bp153.1.17 | Build date: Sat Mar 6 01:55:39 2021 |
Group: Development/Libraries/C and C++ | Build host: lamb21 |
Size: 116453 | Source RPM: minisat-2.2.0+20130925-bp153.1.17.src.rpm |
Packager: https://bugs.opensuse.org | |
Url: http://minisat.se/MiniSat.html | |
Summary: Devel files for minisat |
Headers and libraries for the minisat package.
MIT
* Fri Feb 17 2017 jslaby@suse.com - make the version the same as for stp, klee and others * Thu Feb 16 2017 mpluskal@suse.com - Adjust _service * Thu Feb 16 2017 jengelh@inai.de - Trim description - Use version numbers based on those used by upstream * Thu Oct 15 2015 jslaby@suse.com - add LICENSE and README * Fri Oct 09 2015 jslaby@suse.com - add Makefile_lib_rule.patch: fix parallel build * Tue Apr 14 2015 jslaby@suse.com - switch to the git version - update to 20130925 * Thu Mar 19 2015 jslaby@suse.com - initial package
/usr/include/minisat /usr/include/minisat/core /usr/include/minisat/core/Dimacs.h /usr/include/minisat/core/Solver.h /usr/include/minisat/core/SolverTypes.h /usr/include/minisat/mtl /usr/include/minisat/mtl/Alg.h /usr/include/minisat/mtl/Alloc.h /usr/include/minisat/mtl/Heap.h /usr/include/minisat/mtl/IntMap.h /usr/include/minisat/mtl/IntTypes.h /usr/include/minisat/mtl/Map.h /usr/include/minisat/mtl/Queue.h /usr/include/minisat/mtl/Rnd.h /usr/include/minisat/mtl/Sort.h /usr/include/minisat/mtl/Vec.h /usr/include/minisat/mtl/XAlloc.h /usr/include/minisat/simp /usr/include/minisat/simp/SimpSolver.h /usr/include/minisat/utils /usr/include/minisat/utils/Options.h /usr/include/minisat/utils/ParseUtils.h /usr/include/minisat/utils/System.h /usr/lib64/libminisat.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 14:00:23 2024