https://github.com/crillab/nacre_mini
Tip revision: 9973673b2f9220ca6480180cd82d34ea4cca8718 authored by Gaël Glorian on 05 June 2018, 08:40:41 UTC
Makefile updated to compile lib by default
Makefile updated to compile lib by default
Tip revision: 9973673
| File | Mode | Size |
|---|---|---|
| CompleteSolver.cc | -rw-r--r-- | 9.9 KB |
| CompleteSolver.hh | -rw-r--r-- | 2.5 KB |
| ConflictAnalysisSolver.cc | -rw-r--r-- | 4.9 KB |
| ConflictAnalysisSolver.hh | -rw-r--r-- | 2.0 KB |
| GeneralizedCompleteSolver.cc | -rw-r--r-- | 4.6 KB |
| GeneralizedCompleteSolver.hh | -rw-r--r-- | 2.0 KB |
| IncNGCompleteSolver.cc | -rw-r--r-- | 4.4 KB |
| IncNGCompleteSolver.hh | -rw-r--r-- | 1.7 KB |
| LecoutreCompleteSolver.cc | -rw-r--r-- | 6.5 KB |
| LecoutreCompleteSolver.hh | -rw-r--r-- | 1.7 KB |
| Solver.hh | -rw-r--r-- | 2.2 KB |
