Make Z3Solver.assertCnstr(dsl.Tree[dsl.BoolSort]) public

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

Apache License 2.0

122 stars 34 forks source link

Make Z3Solver.assertCnstr(dsl.Tree[dsl.BoolSort]) public #51

Closed ptitjes closed 7 years ago

ptitjes commented 7 years ago

Examples in the test source directory use this method (cf. NQueens for instance). However, I can't use it in my own projects as it is package private.

samarion commented 7 years ago

LGTM. Any comments @colder (you get the git blame)?

colder commented 7 years ago

shuuure

ptitjes commented 7 years ago

Thanks.