/verigraph/examples/
../
budapest_sat.json
budapest_unsat.json
simple_user-nat-dpi-ws_UNSAT.json
verigraph-req3-fail.json
verigraph-req3-success.json
verigraph-req4-fail.json
verigraph-req4-success.json