sambayless / monosat

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

addNode() bug fix #31

Closed jo285317 closed 2 years ago

jo285317 commented 3 years ago

Check for node name in self.nodemap instead of self.names