Add sat4j for SAT solvin'
Moar stuff