« View Structure ?

« Select Colors Select?

Name        

From ≠∧∨¬→∃∀  Find

To ≠∧∨¬→∃∀  Find

Parameters conjunctions:   dimension:

  min elements:     elements:

Atoms equality   min   max   successor

Export nqdimacs  qdimacs  lparse  qpro

Reduction ≠∧∨¬→∃∀  Check Find

Saved Reductions

Example Classes

• No-Star Graph From  To
• Non-Stop Graph From  To
• Reach s-t From  To
• Strongly Connected From  To
• Complete Graph From  To
• Empty Graph From  To
• Reach 0-1 From  To
• Non-Reach 0-1 From  To

• trivialFrom To
• ntrivilFrom To
• truequeFrom To
• falsequFrom To
• reachquFrom To
• nreachqFrom To
• exqueryFrom To
• eequeryFrom To
• nxqueryFrom To
• axqueryFrom To
• query01From To
• query02From To
• query03From To
• query04From To
• query05From To
• query06From To
• query08From To
• query09From To
• query10From To
• query11From To
• query15From To
• query21From To
• query23From To
• query24From To
• query25From To
• query26From To
• query25From To
• query26From To
• query27From To
• query30From To
• query31From To
• query33From To
• query34From To
• query36From To
• query42From To
• query44From To
• query45From To
• query48From To
• query49From To
• query50From To
• query52From To
• query54From To
• query55From To
• query57From To
• query58From To
• query60From To
• query64From To
• query71From To