Pinned Repositories
macq
Library for action model acquisition from state trace data.
bauhaus
Build logical theories for SAT solvers on the fly
Blocksworld-Unity3D-Simulation
A 3D simulation of the classic "blocksworld" planning problem. Allows users to specify a customized initial state and goal and simulates the planning process from beginning to end using http://planning.domains/. Colours are used instead of letters to make the planning easier visually.
cdn_test
froggy-theme
icaps2024.github.io
Website for ICAPS 2024
modelling-travel
Uses propositional logic to model travel situations from anywhere in Canada and/or the United States.
stress-free-schedule-support
Team project for CISC 325 (HCI). A stress-free timetable builder and course recommendation system.
Time-To-Kill-full-game
A fast-paced, puzzle-solving RPG created in 4 months. It is fully playable at the link below. Have fun!
python-nnf
Manipulate NNF (Negation Normal Form) logical sentences
beckydvn's Repositories
beckydvn/stress-free-schedule-support
Team project for CISC 325 (HCI). A stress-free timetable builder and course recommendation system.
beckydvn/Blocksworld-Unity3D-Simulation
A 3D simulation of the classic "blocksworld" planning problem. Allows users to specify a customized initial state and goal and simulates the planning process from beginning to end using http://planning.domains/. Colours are used instead of letters to make the planning easier visually.
beckydvn/Time-To-Kill-full-game
A fast-paced, puzzle-solving RPG created in 4 months. It is fully playable at the link below. Have fun!
beckydvn/bauhaus
Build logical theories for SAT solvers on the fly
beckydvn/cdn_test
beckydvn/froggy-theme
beckydvn/icaps2024.github.io
Website for ICAPS 2024
beckydvn/modelling-travel
Uses propositional logic to model travel situations from anywhere in Canada and/or the United States.
beckydvn/modelling-project-remaster
A remodel of the CISC 204 transportation modelling project, using the library bauhaus.
beckydvn/python-nnf
Manipulate NNF (Negation Normal Form) logical sentences
beckydvn/Sphinx-Autosummary-Recursion
Demonstrating the new automatic package recursion facility in sphinx.ext.autosummary version 3.1
beckydvn/tarski-playlist-maker
A simple playlist maker implemented with PDDL using tarski.