Inside 245-5D

Existential Pontification and Generalized Abstract Digressions

abcBridge: Functional interfaces for AIGs and SAT solving

Yesterday I gave a Galois Tech Talk about abcBridge, a set of bindings in Haskell for ABC that I built over the summer as part of my internship.

There should be a video soon, but until then, you can download my annotated slides. The software’s not public yet, but hopefully it will be soon.