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