blob: a525adad5947142d3dbfd8a2efcc2faa6ca16d90 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
{
lib,
buildPythonPackage,
fetchPypi,
setuptools,
pythonOlder,
z3-solver,
pythonRelaxDepsHook,
}:
buildPythonPackage rec {
pname = "model-checker";
version = "0.4.9";
pyproject = true;
disabled = pythonOlder "3.8";
src = fetchPypi {
pname = "model_checker";
inherit version;
hash = "sha256-BUkbCllM2qN5yKTvte2iwnmBXQAzu2N8LTGRfvOTKUQ=";
};
# z3 does not provide a dist-info, so python-runtime-deps-check will fail
pythonRemoveDeps = [ "z3-solver" ];
build-system = [ setuptools ];
nativeBuildInputs = [ pythonRelaxDepsHook ];
dependencies = [ z3-solver ];
# Tests have multiple issues, ImportError, TypeError, etc.
# Check with the next release > 0.3.13
doCheck = false;
pythonImportsCheck = [ "model_checker" ];
meta = with lib; {
description = "Hyperintensional theorem prover for counterfactual conditionals and modal operators";
homepage = "https://pypi.org/project/model-checker/";
license = licenses.mit;
maintainers = with maintainers; [ fab ];
};
}
|