pyrox.dev
1{ lib
2, buildPythonPackage
3, fetchFromGitHub
4, pytestCheckHook
5, pythonOlder
6}:
7
8buildPythonPackage rec {
9 pname = "pysmt";
10 version = "0.9.5";
11 format = "setuptools";
12
13 disabled = pythonOlder "3.7";
14
15 src = fetchFromGitHub {
16 owner = "pysmt";
17 repo = pname;
18 rev = "v${version}";
19 hash = "sha256-cE+WmKzggYof/olxQb5M7xPsBONr39KdjOTG4ofYPUM=";
20 };
21
22 nativeCheckInputs = [
23 pytestCheckHook
24 ];
25
26 pythonImportsCheck = [
27 "pysmt"
28 ];
29
30 meta = with lib; {
31 description = "Python library for SMT formulae manipulation and solving";
32 homepage = "https://github.com/pysmt/pysmt";
33 license = with licenses; [ asl20 ];
34 maintainers = with maintainers; [ fab ];
35 };
36}