Revision 613cbffb7e96f803f23141771593a583bb420279 authored by Pedro Orvalho on 28 April 2023, 12:39:23 UTC, committed by GitHub on 28 April 2023, 12:39:23 UTC
1 parent bab67fc
| File | Mode | Size |
|---|---|---|
| algorithms | ||
| assets | ||
| dependencies | ||
| encodings | ||
| generator | ||
| graph | ||
| maxsat_models | ||
| mtl | ||
| representative_subset_100_instances | ||
| representative_subset_10_instances | ||
| representative_subset_1_instance | ||
| scripts | ||
| solvers | ||
| upPySAT | ||
| .gitignore | -rw-r--r-- | 38 bytes |
| Encoder.cc | -rw-r--r-- | 10.2 KB |
| Encoder.h | -rw-r--r-- | 5.8 KB |
| FormulaPB.h | -rw-r--r-- | 4.7 KB |
| LICENSE | -rw-r--r-- | 1.3 KB |
| Main.cc | -rw-r--r-- | 13.3 KB |
| Makefile | -rw-r--r-- | 1.4 KB |
| MaxSAT.cc | -rw-r--r-- | 20.2 KB |
| MaxSAT.h | -rw-r--r-- | 8.7 KB |
| MaxSATFormula.cc | -rw-r--r-- | 6.8 KB |
| MaxSATFormula.h | -rw-r--r-- | 7.2 KB |
| MaxSAT_Partition.cc | -rw-r--r-- | 23.0 KB |
| MaxSAT_Partition.h | -rw-r--r-- | 7.4 KB |
| MaxTypes.h | -rw-r--r-- | 2.5 KB |
| ParserMaxSAT.h | -rw-r--r-- | 4.7 KB |
| ParserPB.cc | -rw-r--r-- | 8.6 KB |
| ParserPB.h | -rw-r--r-- | 4.2 KB |
| ParserPartitions.h | -rw-r--r-- | 4.3 KB |
| README.md | -rw-r--r-- | 3.4 KB |
| Readme.txt | -rw-r--r-- | 7.5 KB |
| run | -rwxr-xr-x | 728.1 KB |
| run_all.sh | -rwxr-xr-x | 1.5 KB |
Computing file changes ...
