abc-verifier
abc-verifier 0.62
Tool for sequential logic synthesis and formal verification
https://people.eecs.berkeley.edu/~alanmi/abcMIT License
main program: abcprograms: abc
Platforms (46)
mips-linuxarmv7l-linuxaarch64-freebsdaarch64-darwinriscv32-linuxi686-cygwinaarch64-linuxriscv64-linux
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ abc-verifier ];
Ad-hoc shell
nix-shell -p abc-verifier
Flake (nix run)
nix run nixpkgs#abc-verifier