blackbox

http://www.cs.rochester.edu/u/kautz/satplan/blackbox/ Formula was removed
Last version was
44

Recent formula history

Brandon Ooi blackbox: remove for StackExchange's version.
Jack Nagel Add blackbox

Formula code at GitHub