repositories

Recent repositories are avaiable from my collaborators.

GitHub Repositories

hectorpal/translation-based-planners hectorpal/translation-based-planners
hectorpal/fast-forward-linux-binaries hectorpal/fast-forward-linux-binaries
hectorpal/prime-implicate hectorpal/prime-implicate