Abordé

Reach -- Abordé v0.1.0

First release, with lots of core functionality and a few known problems. Namely

1. Parsing of 6s* HWMCC files gives some models incompatible with competition results.
2. It is is still slower than ABC/PDR on many problems.

The core functionality:

1. controllable simulation.
2. bounded model checking, including multi-property.
3. An incremental inductive prover much faster than baseline IC3.