This repository has been archived by the owner on Aug 7, 2018. It is now read-only.

Predicates extraction- Baxter branch #9

Open

zohreh-dannenhauer opened this issue Jan 15, 2017 · 0 comments

Contributor

zohreh-dannenhauer commented Jan 15, 2017

This method should be rewritten. We need a general method to extract predicates regardless of the number of blocks in the world.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.