Commits · baee61e4b98cb57dee9299a9f0928aecce1103ef · tables / tet · GitLab

Dec 14, 2010
- added some comments, readying for release · bbdc4b86
  Colin Eles authored Dec 14, 2010
  bbdc4b86
Dec 02, 2010
- suppressed output so that stuff does not print to command window when using tool, used new utility · 863f90a8
  Colin Eles authored Dec 02, 2010
  863f90a8
Nov 19, 2010
- no longer runs COUNTERMODEL everytime, actually didn't even need to do the... · a32b4a99
  Colin Eles authored Nov 19, 2010
  a32b4a99
- example model · 76ebae7f
  Colin Eles authored Nov 19, 2010
  76ebae7f
Nov 18, 2010
- added support for dependant subtypes, seems to work well with ones like the... · c5509d2a
  Colin Eles authored Nov 18, 2010
  c5509d2a
- added rationalization support · bcabe7a3
  Colin Eles authored Nov 18, 2010
  bcabe7a3
Nov 17, 2010
- latest update · 31f8cc9a
  Colin Eles authored Nov 17, 2010
  31f8cc9a
Nov 12, 2010
- fixed an issue with 1-d horizontal tables · 0ca04a93
  Colin Eles authored Nov 12, 2010
  0ca04a93
- now gives proper error if cvc sees theory is incomplete, ie. if there are non-linear formulas. · 0dd1d306
  Colin Eles authored Nov 12, 2010
  0dd1d306
- gives proper error message if CVC not found, or other commandline errors · 2d32176d
  Colin Eles authored Nov 12, 2010
  2d32176d
Nov 11, 2010
- minor update · ce17e33a
  Colin Eles authored Nov 11, 2010
  ce17e33a
- latest update for smt solver · 90fd1509
  Colin Eles authored Nov 11, 2010
  90fd1509
- begnining of application of SMT solver, using CVC3 solver. only works for 1D... · 3581723a
  Colin Eles authored Nov 11, 2010
  3581723a