x86_64-darwin	boogie
aarch64-linux	dotnetPackages.Boogie
x86_64-linux	tlaps
x86_64-linux	python37Packages.z3
i686-linux	slither-analyzer
i686-linux	dafny
aarch64-linux	python37Packages.slither-analyzer
i686-linux	python37Packages.slither-analyzer
x86_64-linux	z3-tptp
x86_64-linux	haskellPackages.cryptol
x86_64-darwin	cuter
x86_64-linux	dotnetPackages.Dafny
x86_64-linux	vampire
x86_64-linux	slither-analyzer
aarch64-linux	boogie
aarch64-linux	haskellPackages.linearEqSolver
x86_64-darwin	haskellPackages.ntha
i686-linux	haskellPackages.cryptol
aarch64-linux	dafny
x86_64-darwin	haskellPackages.cryptol
x86_64-linux	petrinizer
i686-linux	python37Packages.cozy
x86_64-linux	haskellPackages.linearEqSolver
x86_64-darwin	fstar
x86_64-linux	isabelle
i686-linux	solc
aarch64-linux	fstar
x86_64-linux	haskellPackages.sbv
aarch64-linux	cuter
x86_64-darwin	dotnetPackages.Dafny
x86_64-darwin	python37Packages.cozy
x86_64-darwin	cryptol
i686-linux	boogie
aarch64-linux	vampire
aarch64-linux	slither-analyzer
i686-linux	isabelle
x86_64-linux	dotnetPackages.Boogie
i686-linux	dotnetPackages.Dafny
aarch64-linux	haskellPackages.z3
x86_64-linux	python27Packages.z3
aarch64-linux	petrinizer
aarch64-linux	solc
x86_64-darwin	haskellPackages.linearEqSolver
i686-linux	fstar
x86_64-darwin	python37Packages.slither-analyzer
aarch64-linux	haskellPackages.ntha
x86_64-linux	solc
x86_64-darwin	dafny
x86_64-darwin	python37Packages.z3
x86_64-linux	cuter
x86_64-linux	python37Packages.slither-analyzer
aarch64-linux	dotnetPackages.Dafny
x86_64-darwin	z3
i686-linux	cuter
x86_64-darwin	haskellPackages.sbv
x86_64-darwin	solc
aarch64-linux	haskellPackages.sbv
i686-linux	haskellPackages.z3
i686-linux	vampire
i686-linux	dotnetPackages.Boogie
x86_64-darwin	vampire
x86_64-darwin	haskellPackages.z3
aarch64-linux	isabelle
x86_64-darwin	python27Packages.z3
x86_64-linux	haskellPackages.ntha
x86_64-darwin	z3-tptp
i686-linux	haskellPackages.linearEqSolver
i686-linux	petrinizer
x86_64-linux	boogie
x86_64-darwin	tlaps
x86_64-darwin	slither-analyzer
x86_64-linux	fstar
aarch64-linux	python37Packages.cozy
x86_64-linux	python37Packages.cozy
i686-linux	haskellPackages.ntha
i686-linux	haskellPackages.sbv
x86_64-darwin	dotnetPackages.Boogie
i686-linux	tlaps
x86_64-linux	dafny
x86_64-linux	cryptol
aarch64-linux	haskellPackages.cryptol
i686-linux	cryptol
x86_64-linux	haskellPackages.z3
aarch64-linux	tlaps
aarch64-linux	cryptol
x86_64-darwin	petrinizer
x86_64-linux	z3