pyrox.dev
1{ lib
2, buildPythonPackage
3, fetchPypi
4}:
5
6buildPythonPackage rec {
7 pname = "pysmt";
8 version = "0.9.1.dev132";
9 format = "wheel"; # dev versions are only distributed as wheels
10
11 src = fetchPypi {
12 pname = "PySMT";
13 inherit format version;
14 sha256 = "01iqs7yzms3alf1rdv0gnsnmfp7g8plkjcdqbari258zp4llf6x7";
15 };
16
17 # No tests present, only GitHub release which is 0.9.0
18 doCheck = false;
19
20 pythonImportsCheck = [ "pysmt" ];
21
22 meta = with lib; {
23 description = "Python library for SMT formulae manipulation and solving";
24 homepage = "https://github.com/pysmt/pysmt";
25 license = with licenses; [ asl20 ];
26 maintainers = with maintainers; [ fab ];
27 };
28}