Merge pull request #313353 from fabaff/model-checker

{

  lib,

  buildPythonPackage,

  fetchPypi,

  setuptools,

  pythonOlder,

  z3-solver,

  pythonRelaxDepsHook,

}:

buildPythonPackage rec {

  pname = "model-checker";

  version = "0.3.13";

  pyproject = true;

  disabled = pythonOlder "3.8";

  src = fetchPypi {

    pname = "model_checker";

    inherit version;

    hash = "sha256-3LVes+orRl8tNhhbUUDa1VM/tFf8Y1pAzKknmrjA6e4=";

  };

  # 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 ];

  };

}

  model-bakery = callPackage ../development/python-modules/model-bakery { };

  model-checker = callPackage ../development/python-modules/model-checker { };

  modelcif = callPackage ../development/python-modules/modelcif { };

  modeled = callPackage ../development/python-modules/modeled { };