Software
My github usually has my latest software.
I wrote Horn2VMT, which converts Horn clauses into a transition system format, VMT.
I wrote a reasonably efficient SAT solver in pure Haskell: funsatOther packages I’ve found useful:
My github usually has my latest software.
I wrote Horn2VMT, which converts Horn clauses into a transition system format, VMT.
I wrote a reasonably efficient SAT solver in pure Haskell: funsatOther packages I’ve found useful: