https://gitlab.lrde.epita.fr/akheireddine/bmctool
Tip revision: 1c9a3add0de703f2b91badbb3dc248412324f702 authored by akheireddine on 09 August 2021, 09:01:39 UTC
update scripts for CP21
update scripts for CP21
Tip revision: 1c9a3ad
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 |