search

salmans / Razor

5 stars 0 forks source link

Read the input file from the command line #46

Closed salmans closed 9 years ago

salmans commented 9 years ago

The capability of loading a theory file from the command line needs to be restored.