search

TrueBitFoundation / truebit-os

[DEPRECATED] Interactive client
Apache License 2.0
82 stars 26 forks source link

Run commands from command line #118

Closed mrsmkl closed 5 years ago

mrsmkl commented 5 years ago

For example can just start solver and verifier from command line