The latest version of boolector is 0.0.0.13-0.

test:API_Usage_Example

Dependencies

Reverse dependencies

None.