Docm in README about sbt stage

WatForm / fortress

Fortress: Finite Model Finder for Many-Sorted First-Order Logic

MIT License

5 stars 0 forks source link

Docm in README about sbt stage #112

Closed nancyday closed 4 months ago

nancyday commented 4 months ago

Also put in docm where .jar is. It is not a fat jar, have to copy all 4 jars into lib folder on the class path.

Where is fortressDebug with sbt stage?

nancyday commented 4 months ago

Mostly completed with https://github.com/WatForm/fortress/commit/c1ca284dab47da79ea2e006fa97ad4950ef41282

@otzzila - please find the place in the README with @Owen and fill in the details on how to specify sorts in the file. I'm not sure where these details are.