aled96 / AI_Project Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Artificial Intelligence Project - Planning as SAT

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
DPLL_Solver		DPLL_Solver
bin		bin
driver		driver
enhsp		enhsp
planner		planner
translate		translate
venv		venv
README.md		README.md
formula.py		formula.py
formula.pyc		formula.pyc
plan.py		plan.py
utils.py		utils.py
utils.pyc		utils.pyc

Repository files navigation

AI_Project

Artificial Intelligence Project - Planning as SAT

About

Artificial Intelligence Project - Planning as SAT

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 99.0%
Other 1.0%