search

avilanicolas / 530-SAT

0 stars 0 forks source link

Interface with smt-lib and to parse smt-lib language #7

Open bbeck13 opened 7 years ago

JonoChadwell commented 7 years ago

I have a very minimal implementation locally that parses in some smt-lib files and uses our decision diagram to check for satisfiability.

I will ask Nick about what our change process is / for permission when he gets home.

avilanicolas commented 7 years ago

You PR, I ship essentially