@ffrohn ffrohn released this Sep 6, 2017 · 1 commit to master since this release

Assets 3

Pre-compiled KoAT binary for Windows. It neither supports apron nor z3's ocaml-bindings. Hence, it is significantly weaker and slower than the Linux version.