The latest version of boolector is 0.0.0.13-0.

test:Array_Example

Dependencies

Reverse dependencies

None.