Existential Pontification and Generalized Abstract Digressions
abcBridge: Functional interfaces for AIGs and SAT solving
by Edward Z. Yang
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.