kecso/formula repository overview

This is a basic Formula enviroment. More on Formula⁠.

To use this image:

• docker pull kecso/formula
• docker run -i --name=formula kecso/formula

Inside the image you can find two main executables:

• CommandLine.exe is the original formula executable that gives you the formula command line with all of its possibilities
• Query.exe is for advanced users:
  • mono Query.exe –f formulafile.4ml –c constraintfile.json.
  • The input tells what queries should be executed and the result will be put into `queryresults.json'