easy-smt 0.2.2

Easily interact with an smt solver as a subprocess
Documentation 
1
2
3
4
5
6
7
8
9

{ pkgs ? import <nixpkgs> {} }:

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