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)
riscv64-netbsdarmv7l-linuxs390-linuxarmv7a-netbsdi686-linuxx86_64-netbsdi686-netbsdx86_64-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