https://github.com/crillab/d4v2
Revision 173d6998b1c7f83bf2a5d595561d49b1d19c70dd authored by JM on 30 September 2022, 13:36:42 UTC, committed by JM on 30 September 2022, 13:36:42 UTC
1 parent c4239d5
Tip revision: 173d6998b1c7f83bf2a5d595561d49b1d19c70dd authored by JM on 30 September 2022, 13:36:42 UTC
update header
update header
Tip revision: 173d699
| File | Mode | Size |
|---|---|---|
| cnfuzzdd2009 | ||
| d4ScriptsCompetition | ||
| minisatSolver | ||
| Makefile | -rw-r--r-- | 323 bytes |
| execute.sh | -rwxr-xr-x | 555 bytes |
| fastTest.sh | -rwxr-xr-x | 453 bytes |
| qbfdd.py | -rwxr-xr-x | 83.3 KB |
| searchBadExitMaxSharpSAT.sh | -rwxr-xr-x | 2.2 KB |
| searchBadExitModelCounting.sh | -rwxr-xr-x | 1.3 KB |
| searchBadExitModelCountingQueries.sh | -rwxr-xr-x | 2.1 KB |
| searchBadExitProjected.sh | -rwxr-xr-x | 2.9 KB |
| searchBadExitQuick.sh | -rwxr-xr-x | 2.5 KB |
| starexec_run_ds_preprocSharpEquiv.sh | -rwxr-xr-x | 520 bytes |
| testMaxSharpSAT.sh | -rwxr-xr-x | 1.6 KB |
| testMaxSharpSATEnum.sh | -rwxr-xr-x | 2.8 KB |
| testMaxSharpSATThreshold.sh | -rwxr-xr-x | 1.8 KB |
| testMinSharpSAT.sh | -rwxr-xr-x | 2.3 KB |
| testModelCounter.sh | -rwxr-xr-x | 570 bytes |
| testModelCountingQuery.sh | -rwxr-xr-x | 1.3 KB |
| testProjModelCounting.sh | -rwxr-xr-x | 898 bytes |
Computing file changes ...
