https://github.com/crillab/d4v2
Revision c4239d526043da01142cc81ef1b5aad2d198ff5d authored by JM on 30 September 2022, 13:33:50 UTC, committed by JM on 30 September 2022, 13:33:50 UTC
1 parent 1606471
Tip revision: c4239d526043da01142cc81ef1b5aad2d198ff5d authored by JM on 30 September 2022, 13:33:50 UTC
licence changed
licence changed
Tip revision: c4239d5
| File | Mode | Size |
|---|---|---|
| cnf | ||
| PartitioningHeuristic.cpp | -rw-r--r-- | 4.9 KB |
| PartitioningHeuristic.hpp | -rw-r--r-- | 2.6 KB |
| PartitioningHeuristicNone.cpp | -rw-r--r-- | 1.2 KB |
| PartitioningHeuristicNone.hpp | -rw-r--r-- | 1.0 KB |
| PhaseHeuristic.cpp | -rw-r--r-- | 1.9 KB |
| PhaseHeuristic.hpp | -rw-r--r-- | 1.3 KB |
| PhaseHeuristicFalse.cpp | -rw-r--r-- | 1.1 KB |
| PhaseHeuristicFalse.hpp | -rw-r--r-- | 912 bytes |
| PhaseHeuristicOccurrence.cpp | -rw-r--r-- | 1.3 KB |
| PhaseHeuristicOccurrence.hpp | -rw-r--r-- | 963 bytes |
| PhaseHeuristicPolarity.cpp | -rw-r--r-- | 1.3 KB |
| PhaseHeuristicPolarity.hpp | -rw-r--r-- | 1015 bytes |
| PhaseHeuristicTrue.cpp | -rw-r--r-- | 1.1 KB |
| PhaseHeuristicTrue.hpp | -rw-r--r-- | 910 bytes |
| ScoringMethod.cpp | -rw-r--r-- | 3.1 KB |
| ScoringMethod.hpp | -rw-r--r-- | 1.4 KB |
Computing file changes ...
