https://github.com/TakehideSoh/SAF
Revision 4b42240b1da8691253b52c4238db06fb28da532b authored by takehidesoh on 15 June 2023, 01:49:51 UTC, committed by takehidesoh on 15 June 2023, 01:49:51 UTC
1 parent 8ff4378
Tip revision: 4b42240b1da8691253b52c4238db06fb28da532b authored by takehidesoh on 15 June 2023, 01:49:51 UTC
modify the instruction of the cadical installation
modify the instruction of the cadical installation
Tip revision: 4b42240
| File | Mode | Size |
|---|---|---|
| bdd_minisat_all-1.0.2 | ||
| cadical | ||
| example | ||
| project | ||
| src | ||
| LICENSE | -rw-r--r-- | 25.9 KB |
| README.md | -rw-r--r-- | 5.0 KB |
| build.sbt | -rw-r--r-- | 1.4 KB |
| saf.jar | -rw-r--r-- | 16.0 MB |
Computing file changes ...
README.md
Loading README.md ...
