SCryptoMinisat (pronounced as "scripto - miniSAT") is an extension of the CryptoMinisat 2.5.1 sat solver by Mate Soos which enables the user to write scripts involving successive calls to the solver.

Features:


Usage

Command line

Script file and commands

Solution file and its contents

Notes


Examples


Downloads

Last updated (29/01/2012)