search

biotomas / ipasir

The Standard Interface for Incremental Satisfiability Solving
Other
47 stars 14 forks source link

fixed description of ipasir_set_learn #3

Closed Udopia closed 7 years ago

Udopia commented 7 years ago

just fixed a comment