Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
categories
by-name
yi
categories
by-name/yi
Showing entries 1-1 out of 1.
yices
Nix package
High-performance theorem prover and SMT solver
Previous
1
Next
