CLI Command Reference

Tip: Run codelogician --help or codelogician <command> --help to see the latest help text and documentation.

Command	Description
eval command	Evaluate IML files via the ImandraX reasoning engine
doc command	Access documentation, guides and ImandraX reference
rec command	Suggest the next step from IML code and reasoning results