naokikob

Pinned Repositories

hoice
An ICE-based predicate synthesizer for Horn clauses.
Language:Rust47 5 2311
horsat2
saturation-based HORS model checker
Language:OCaml8 3 00
makanin-algo
Implementation of Makanin's algorithm for string equation satisfiability
Language:Racket20
hoice
An ICE-based predicate synthesizer for Horn clauses.
Language:Rust00
mufolder
AE-solver and Skolemizer
Language:SMT01
neugus
Language:SMT3 1 00
neugusR
Language:OCaml00
phors
Language:OCaml00

naokikob's Repositories

naokikob/neugus
Language:SMT3 1 00
naokikob/hoice
An ICE-based predicate synthesizer for Horn clauses.
Language:Rust00
naokikob/mufolder
AE-solver and Skolemizer
Language:SMT01
naokikob/neugusR
Language:OCaml00
naokikob/phors
Language:OCaml00