OnWorks favicon

picosat.trace - Online in the Cloud

Run picosat.trace in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command picosat.trace 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



picosat - SAT solver with proof and core support


picosat [options] input-file


This manual page documents briefly the picosat command.

picosat is a SAT solver with proof and core capabilities. Use the picosat.trace binary to
actually use these capabilities (these incur some overhead).


-h Show summary of options.

print version and exit

print build configuration and exit

-v enable verbose output

-f ignore invalid header

-n do not print satisfying assignment

-p print formula in DIMACS format and exit

-i <0/1>
force FALSE respectively TRUE as default phase

-a <lit>
start with an assumption

-l <limit>
set decision limit

-s <seed>
set random number generator seed

-o <output>
set output file

-t <trace>
generate compact proof trace file (use picosat.trace, see above).

-T <trace>
generate extended proof trace file (use picosat.trace, see above).

-r <trace>
generate reverse unit propagation proof file (use picosat.trace, see above).

-c <core>
generate clausal core file in DIMACS format (use picosat.trace, see above).

-V <core>
generate file listing core variables

-U <core>
generate file listing used variables

Use picosat.trace online using onworks.net services

Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Brackets is a free, modern open-source
    text editor made especially for Web
    Development. Written in HTML, CSS, and
    JavaScript with focused visual tools and
    Download Brackets
  • 2
    Free Pascal Compiler
    Free Pascal Compiler
    A 32/64/16-bit Pascal compiler for
    Win32/64/CE, Linux, Mac OS X/iOS,
    Android, FreeBSD, OS/2, Game Boy
    Advance, Nintendo NDS and DOS;
    semantically compatible wi...
    Download Free Pascal Compiler
  • 3
    Canon EOS DIGITAL Info
    Canon EOS DIGITAL Info
    Canon doesn�t have shutter count
    included on the EXIF information of an
    image file, as opposed to Nikon and
    Pentax. There�s no official Canon based
    application ...
    Download Canon EOS DIGITAL Info
  • 4
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 5
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 6
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    Download Music Caster
  • More »

Linux commands