GitHub - PavelKarasek2/Blocks_World: Used propositionalization, boolean satisfiability, and goal decomposition to solve the block world planning problem in a layer by layer approach. The structure files - block.py and state.py were partially provided by our Professor as well as the entire ASCII art file scene.py

PavelKarasek2 / Blocks_World Public

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

Used propositionalization, boolean satisfiability, and goal decomposition to solve the block world planning problem in a layer by layer approach. The structure files - block.py and state.py were partially provided by our Professor as well as the entire ASCII art file scene.py

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
test_states		test_states
Algorithm.png		Algorithm.png
StepsAnalysis.R		StepsAnalysis.R
block.py		block.py
create_test_cases.py		create_test_cases.py
demo.py		demo.py
demo_goal.txt		demo_goal.txt
demo_initial.txt		demo_initial.txt
num_steps.csv		num_steps.csv
output.txt		output.txt
planning.py		planning.py
scene.py		scene.py
state.py		state.py
test_planning.py		test_planning.py