news
| Oct 24, 2026 | C2Btor is now available: https://github.com/westtide/c2btor. It translates C programs into BTOR2 models for hardware model checking. |
|---|
| Oct 24, 2026 | C2Btor is now available: https://github.com/westtide/c2btor. It translates C programs into BTOR2 models for hardware model checking. |
|---|