pyproject.toml

[tool.poetry]
name = "behaviour-planning-smt"
version = "0.1.0"
description = "Behaviour planning over Domain Models using SMT solvers"
authors = ["MFaisalZaki <mustafa.faisal.eng@gmail.com>"]
license = "MIT"
readme = "README.md"

[tool.poetry.dependencies]
python = "^3.10"
up-symk = "^1.3.0"
z3-solver = "^4.13.0.0"
lark = "^1.1.9"
numpy = "1.26.4"
pypmt = {git = "https://github.com/pyPMT/pyPMT.git"}
up_pypmt = {git = "https://github.com/pyPMT/up-pypmt.git"}
up-fast-downward = "^0.4.1"
click = "^8.1.7"
setuptools= "^74.1.1"

[build-system]
requires = ["poetry-core"]
build-backend = "poetry.core.masonry.api"

[tool.poetry.scripts]
pybehaviourplanning_domain_models = 'behaviour_planning.over_domain_models.smt.fbi.cmd.bplanningcli:main'