search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

Remove a couple of forgotten and unnecessary files #14

Closed copumpkin closed 6 years ago

copumpkin commented 6 years ago

Fixes #10 and #12