nixpkgs / btor2tools - A generic parser and tool package for the BTOR2 format

Homepage - https://github.com/Boolector/btor2tools

License - MIT

Maintainers - Austin Seipp

Releases

1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 (expand/collapse)

From commit 066544a7 to 00460bd6

(expand/collapse)

From commit 05a16be9 to 05a16be9

1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 (expand/collapse)

From commit 049b68be to 0456d939

(expand/collapse)

From commit 02b3cac1 to 02b3cac1

1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 (expand/collapse)

From commit 0693bed8 to 008e7e32

(expand/collapse)

From commit 002e3cfb to 002e3cfb

1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 (expand/collapse)

From commit 043fb602 to 06ef6493

(expand/collapse)

From commit 0448356c to 0448356c

1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 (expand/collapse)

From commit 02f793bd to 01b73a01

(expand/collapse)

From commit 074911e4 to 074911e4

1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 (expand/collapse)

From commit 0046802a to 0046802a

(expand/collapse)

From commit 07765856 to 01b660d8