Project

General

Profile

« Previous | Next » 

Revision 867cefeb

ID867cefeb150066e267ca8e00bca1ee28228c1ef9
Parent 64adaa3d
Child a60f4851

Added by Hans-Peter Deifel 8 months ago

Add script to generate test formulas

- gen.ml: Generates a specific set of formulas, usable for
benchmarking cool against pgsolver

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences