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