easy-smt 0.2.1

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

{ pkgs ? import <nixpkgs> {} }:

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