Project

General

Profile

« Previous | Next » 

Revision 62cbb102

ID62cbb102c978895ea68c51b2f9a0197183a5da87
Parent c4503f4f
Child 4c23563e

Added by Hans-Peter Deifel 9 months ago

coalg: Make 'graph' subcommand more cli-friendly

- Read only one formula, we also only generate one graph
- Don't print a prompt or the satisfiability result

This allows to redirect the output graph to a file or directly to dot.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences