easy-smt 0.2.5

Easily interact with an smt solver as a subprocess
Documentation
1
2
3
4
5
6
7
8
9
10
{ pkgs ? import <nixpkgs> {} }:

pkgs.mkShell {
  packages = [
    pkgs.rustc
    pkgs.rust-analyzer
    pkgs.cargo
    pkgs.z3
  ];
}