pancake 9a67eeefae Import and update boolector to fix the Windows build ...

* Boolector project it's no longer maintained
* So we just keep a copy with fixes for Windows

2026-03-23 11:20:06 +01:00

..

boolector

Import and update boolector to fix the Windows build

2026-03-23 11:20:06 +01:00