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