MiniSmt

1. Problem

Input a problem in SMT-LIB format.

2. Set Parameters

  • domain:

3. Run MiniSmt