Name: PicoSAT
Contact: Armin Biere <biere@jku.at>
