null reasoner input
Sebastian, your request has finally been merged manually in the master branch and...
Remove remaining dead code from Core SMT plug-in
Remove Java version from fragments without Java
Store an executable Z3 in Git
Replace assertTrue by fail
Remove optimization options for SMTThroughPP.
The lists of rules implemented in the core prover of Rodin are available from the...