Spacer
Stato del progetto: Sconosciutoreimplementation of a part of the Spacer model checker using Z3 and OCaml
- Software o hardware oggetto del progetto
- Tipo di lavoro
- Repository pubblico principale
- github.com/remyciterin/spacer
I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.
Descrizione e ambito
reimplementation of a part of the Spacer model checker using Z3 and OCaml
Disponibilità ad accettare contributi
Regole sui contributi sconosciute
- Regole sui contributi assistiti dall'IA
- Non specificato
Sistemi documentati per contribuire
Ambiente di contribuzione non documentato
Avanzamento dichiarato
Avanzamento non dichiarato
Fonti, compilazione e release
- Apri il repository · github.comgithub.com/remyciterin/spacer