Christian Muise haz

• Queen's University

• Kingston, Ontario, Canada
• http://www.haz.ca/

Organizations

Pinned Loading

1. General library for setting up linux-based environments for developing, running, and evaluating planners.

   Shell 136 38

2. Manipulate NNF (Negation Normal Form) logical sentences

   Python 20 9

5. Build logical theories for SAT solvers on the fly

   Python 8 2