Skip to content

CADETv2.0
Compare
Choose a tag to compare
@MarkusRabe MarkusRabe released this 07 Mar 23:22
· 447 commits to master since this release
v2.0
c8cfbc1

The first public release of the source code of CADET. This is a reimplementation of the version that was used in the paper "Incremental Determinization" that appeared in SAT 2016.

Notable facts:

  • With default options, CADET2.0 is performs similar as the original CADET
  • No API available as of yet
  • User guide available in doc/
Assets 4
Loading