[Array] Added the array theory's basic rules
Showing
- colibri2/tests/solve/smt_array/unsat/dune.inc 3 additions, 0 deletionscolibri2/tests/solve/smt_array/unsat/dune.inc
- colibri2/tests/solve/smt_array/unsat/eq.smt2 7 additions, 0 deletionscolibri2/tests/solve/smt_array/unsat/eq.smt2
- colibri2/theories/array/array.ml 118 additions, 16 deletionscolibri2/theories/array/array.ml
Loading
Please register or sign in to comment