bonsol-prover 0.1.2

Prover functionality for Bonsol