org.sosy-lab:javasmt-solver-boolector (maven): SMT solver Boolector for use in JavaSMT
Keywords: java|smt|solver