| 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 |
