Home Contact Research Publications Teaching Software Credits bmtool sudokusolver prefASP

bmtool

Download the script: ./bmtool

You need Tcl to run it.

Some examples for extractionfiles and output schemata:

Extraction rules for the Darwin/MacOSX time command
Extraction rules for the FreeBSD time command
Extraction rules for the GNU time command, as usually used for Linux
Extraction rules for the SunOS/Solaris time command
Larger example: Extraction rules for the GNU time command and some (partially undocumented) statistical output of DLV

Output schema for user+system time (average and standard deviation) (works with all extraction rules of above)
Output schema for time (as above) and some statistic output of DLV (works only with the last extraction rule set available above)

	Home
Copyright © 1995-2021 Wolfgang Faber.