MUStICCa - MUS Extraction with Interactive Choice of Candidates
==================================================================
(c) Johannes Dellert (2013), University of Tübingen

Installation
------------
1) Change into the minisat-extended directory, run make.
2) Put the minisat-extended directory into your path, so
that the executable in this directory is the version of MiniSat that
gets executed if the command "minisat" is run from the console.
This version includes some custom extensions for proof output
and unit assumptions, and MUStICCa will exhibit unpredictable behaviour
on other versions of MiniSat.

Starting MUStICCa
-----------------
MUStICCa is distributed as a JAR archive, and is started by running the command 

java -jar musticca.jar

An optional argument is interpreted as a path to a DIMACS CNF file to be loaded. 
Examples with interesting search spaces are in the examples directory.

More Information
----------------
A concise manual as well as my master thesis for the theoretical
background are available at 

http://algo.inf.uni-tuebingen.de/?site=forschung/sat/musticca

Source Code
-----------

MUStICCa was developed in the Kahina framework,
whose entire source code is available under a GPL license through the repository at
 
svn checkout http://kahina.org/svn/kahina/trunk kahina

Run "ant musticca-jar" to build MUStICCa from sources.
