A simple interface to run SATlotyper
run.SATlotyper(path_to_SATlotyper, infile, outfile,
SAT_solver="sat4j.conf")path to the folder where SATlotyper.jar and the *.conf files of the SAT-solvers are located
name (and path) to the SATlotyper input file
name (and path) for the SATlotyper output file (an xml file)
name of the *.conf file for the SAT-solver to use. Default "sat4j.conf" because this works under both Windows and Linux.
The return is a list with elements: $cmd : the command passed to the system $result: screen output from SATlotyper; this contains some extra info not present in the output xml file) The main result is the outfile
This function issues a system command to invoke SATlotyper. Java and SATlotyper must be installed. This is just a simple interface for convenience; for more control run SATlotyper directly from the command window.