search

biotomas / ipasir

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

Enhance the specification of ipasir_set_learn() #23

Closed clausecker closed 3 years ago

clausecker commented 3 years ago

As discussed in #22, this changeset enhances the specification of ipasir_set_learn to address changing an already established callback as well as concurrency properties.