revived Nelson-Oppen
Showing
- Makefile 6 additions, 3 deletionsMakefile
- _CoqProject 0 additions, 1 deletion_CoqProject
- _CoqProject_ml 2 additions, 1 deletion_CoqProject_ml
- opam 2 additions, 2 deletionsopam
- src/cdcl_plugin.mlpack 1 addition, 0 deletionssrc/cdcl_plugin.mlpack
- src/g_cdcl.mlg 1 addition, 2 deletionssrc/g_cdcl.mlg
- src/no.ml 201 additions, 47 deletionssrc/no.ml
- test-suite/no_test.v 15 additions, 22 deletionstest-suite/no_test.v
- theories/Itauto.v 1 addition, 7 deletionstheories/Itauto.v
- theories/Smt.v 22 additions, 0 deletionstheories/Smt.v
Loading
Please register or sign in to comment