This is the command picomus that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
picomus - simple minimal unsatisfiable core extractor
SYNOPSIS
picomus [options] [ input-file [ output-file ] ]
DESCRIPTION
This manual page documents briefly the picomus command.
picomus is a SAT solver that uses the PicoSAT library to generate a 'minimal unsatisfiable
core' also known as 'minimal unsatisfiable set' (MUS) of a CNF in DIMACS format.
OPTIONS
-h Show summary of options.
-v enable verbose output
Use picomus online using onworks.net services
