Spacer
Project status: Unknownreimplementation of a part of the Spacer model checker using Z3 and OCaml
- Target software or hardware
- Work type
- Primary public repository
- github.com/remyciterin/spacer
Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.
About and scope
reimplementation of a part of the Spacer model checker using Z3 and OCaml
Contribution availability
Contribution policy unknown
- AI-assisted contribution policy
- Unspecified
Documented contributor systems
Contributor setup not documented
Reported progress
Progress not reported
Sources, builds and releases
- Open repository · github.comgithub.com/remyciterin/spacer