search

arminbiere / kissat

MIT License
444 stars 78 forks source link

IPASIR compatibility #21

Closed srogatch closed 2 years ago

srogatch commented 2 years ago

What are your plans for supporting IPASIR interface? It seems to me that there is no way for the following API currently:

  1. void ipasir_assume (void * solver, int lit)
  2. int ipasir_failed (void * solver, int lit)
  3. void ipasir_set_learn (void * solver, void * state, int max_length, void (*learn)(void * state, int * clause))
arminbiere commented 2 years ago

Duplicate of #3