code wiki / cegis
topic: cegis
4 modules sharing the cegis name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _cegis_authored.nx | S3.5 mechanized CEGIS. | 346 | 22 |
| _cegis_bitfield.nx | CONVERGED BY THE NISHI TEAM CEGIS LOOP (_cegis_authored): counterexample-guided, | 46 | 14 |
| _cegis_clamp.nx | CONVERGED BY THE NISHI TEAM CEGIS LOOP (_cegis_authored): counterexample-guided, | 46 | 14 |
| _cegis_validator.nx | CONVERGED BY THE NISHI TEAM CEGIS LOOP (_cegis_authored): counterexample-guided, | 64 | 14 |