Bit: Export assert
Support running (crypto)minisat and parsing the solution