Repository

https://github.com/bobosoft/intrepid.git

Project Slug

intrepid

Last Built

1 year, 10 months ago failed

Maintainers

Badge

Tags

automated-tests, do-178b, do-178c, formal-methods, formal-verification, ipython, jupyter, model-checking, python, simulink, smtlib, smt-solver, state-machine, z3

Short URLs

intrepid.readthedocs.io
intrepid.rtfd.io

Default Version

latest

'latest' Version

master