Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.0 kB · 45 lines
Nix
at llvm-cleanup
12345678910111213141516171819202122232425262728293031323334353637383940414243444546{ lib, buildPythonPackage, fetchPypi, setuptools, pythonOlder, z3-solver, pythonRelaxDepsHook,}:
buildPythonPackage rec { pname = "model-checker"; version = "0.3.21"; pyproject = true;
disabled = pythonOlder "3.8";
src = fetchPypi { pname = "model_checker"; inherit version; hash = "sha256-+bWJd1mntTH+Wi+mjDJl/TTDqGwihAFyKRlT4kR2sqo="; };
# 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 = "A hyperintensional theorem prover for counterfactual conditionals and modal operators"; homepage = "https://pypi.org/project/model-checker/"; license = licenses.mit; maintainers = with maintainers; [ fab ]; };}