Expose MiniSAT's interrupt()#1750
Merged
tautschnig merged 1 commit intodiffblue:developfrom Jan 20, 2018
pkesseli:feature/sat-interrupt
Merged
Expose MiniSAT's `interrupt()`#1750tautschnig merged 1 commit intodiffblue:developfrom pkesseli:feature/sat-interrupt
tautschnig merged 1 commit intodiffblue:developfrom
pkesseli:feature/sat-interrupt
