Playground

Edit a reader spec and an input to see the data as you type. Reading happens in your browser; your edits stay on this device until you share a link.

RunStopFormat reader specCopy link

Loading reader…

Reader specIris 0.1

format dimacs-cnf comment "c" stop "%" # SATLIB files end with "%" and "0" line "p cnf {vars:0..gecode.int_max} {clauses:0..}" repeat clauses { list clause: -vars..vars until 0 # the terminating 0 is not stored }

formats/dimacs-cnf/dimacs-cnf.iris

InputText

c Hand-made three-variable formula p cnf 3 3 1 -2 0 2 3 -1 0 -3 0

formats/dimacs-cnf/cases/three-variables/input.txt

Parameters and instance

Instance (number or name)

Add parameter

TableJSONdznSummary

Run the reader to see its data.

Diagnostics come from the Rust implementation, compiled to WebAssembly. Formatting uses a line width of 100. Use the CLI for larger files, or choose another example from the format library.