https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: 93e6598916290fbd0570c71285af7b9d5854e9d6 authored by akheireddine on 02 December 2020, 16:19:29 UTC
Update makefile and painless submodule :
Update makefile and painless submodule :
Tip revision: 93e6598
File | Mode | Size |
---|---|---|
CMakeLists.txt | -rw-r--r-- | 5.0 KB |
MiniSat_v061208_nusmv.patch | -rw-r--r-- | 16.1 KB |
MiniSat_v070721_nusmv.patch | -rw-r--r-- | 26.1 KB |
MiniSat_v1.14_nusmv.patch | -rw-r--r-- | 10.3 KB |
MiniSat_v2.2.0_nusmv.patch | -rw-r--r-- | 27.4 KB |
MiniSat_v37dc6c6_nusmv.patch | -rw-r--r-- | 33.7 KB |
minisat-default.cmake | -rw-r--r-- | 1.9 KB |