filnix.runningLive log

btor2tools

unstable-2024-08-07TestedDependencies →

Generic parser and tool package for the BTOR2 format

Build log · 14 Sep 22:48 · This campaign

Planning log · 14 Sep 21:56 · This campaign

pkgs/by-name/bt/btor2tools/package.nix

Test evidence

installCheckPhase · be0b20e2

Direct dependencies

bash-5.2p37 cmake-3.31.6 source stdenv-linux

Selected dependents

bitwuzla boolector