This page details Scarab, a prototyping tool for developing SAT-based systems. Features of Scarab are follows: Expressiveness Rich constraint modeling language. Efficiency Optimized order encoding and native handling of BC/PB on Sat4j. Customizability Its core part is written in around 1000 lines of Scala. Portability Run on JVM. Download the latest jar (According to your Scala version select appr