diff options
| author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2021-07-19 12:00:00 +0000 |
|---|---|---|
| committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2021-07-25 15:52:25 +0200 |
| commit | 1894e8d9452640610c531a31186261b97d5d8f1c (patch) | |
| tree | dc21bf5bc2f9ed53a66e27ca631c6cdf0e6ada65 /pkgs/top-level | |
| parent | 0708fe494be218d06141a1269c89077de61cbea7 (diff) | |
| download | nixpkgs-1894e8d9452640610c531a31186261b97d5d8f1c.tar nixpkgs-1894e8d9452640610c531a31186261b97d5d8f1c.tar.gz nixpkgs-1894e8d9452640610c531a31186261b97d5d8f1c.tar.bz2 nixpkgs-1894e8d9452640610c531a31186261b97d5d8f1c.tar.lz nixpkgs-1894e8d9452640610c531a31186261b97d5d8f1c.tar.xz nixpkgs-1894e8d9452640610c531a31186261b97d5d8f1c.tar.zst nixpkgs-1894e8d9452640610c531a31186261b97d5d8f1c.zip | |
bitwuzla: init at unstable-2021-07-01
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 1c3366e81d3..c803a654783 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -30447,6 +30447,8 @@ in boolector = callPackage ../applications/science/logic/boolector {}; + bitwuzla = callPackage ../applications/science/logic/bitwuzla {}; + symbiyosys = callPackage ../applications/science/logic/symbiyosys {}; mcy = callPackage ../applications/science/logic/mcy {}; |