https://github.com/crillab/CoQuiAAS
Tip revision: 7e149916f56918f135b5259c3fb0b3f7119f8d07 authored by Lonca Emmanuel on 24 March 2021, 14:04:19 UTC
bumped version number to 3.0.3-dev
bumped version number to 3.0.3-dev
Tip revision: 7e14991
| File | Mode | Size |
|---|---|---|
| cnfuzzdd2009 | ||
| README | -rw-r--r-- | 927 bytes |
| cnfuzz | -rwxr-xr-x | 13.0 KB |
| debugCoMSS.sh | -rwxr-xr-x | 1.7 KB |
| debugCoMSS4PMS.sh | -rwxr-xr-x | 2.2 KB |
| debugEnumMCSes.sh | -rwxr-xr-x | 3.7 KB |
| maxhs | -rwxr-xr-x | 22.7 MB |
| minisat | -rwxr-xr-x | 468.3 KB |
| qbfdd.py | -rwxr-xr-x | 83.2 KB |
| qmaxsat0.4comp_static | -rwxr-xr-x | 737.4 KB |
| run | -rwxr-xr-x | 25.6 KB |
| searchBugCoMSS.sh | -rwxr-xr-x | 2.2 KB |
| searchBugEnumMCSes.sh | -rwxr-xr-x | 2.3 KB |
| test_reduced.cnf | -rw-r--r-- | 382 bytes |
| wcnfuzz | -rwxr-xr-x | 13.0 KB |
