Queen's Mu Lab (@QuMuLab)
Guthub

QuMuLab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    113
  • Global Org. Rank 54,664 (Top 18 %)
  • Registered about 5 years ago
  • Most used languages
    Python
         75.0 %
    C++
         12.5 %
    PDDL     12.5 %
  • Location 🇨🇦 Canada
  • Country Total Rank 5,691
  • Country Ranking
    PDDL     1
    C++
         1,123
    Python
         2,003

Top repositories

1

planner-for-relevant-policies

PDDL
26
star
2

pdkb-planning

Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with Proper Doxastic Knowledge Bases (PDKBs).
Python
20
star
3

dsharp

C++
16
star
4

bauhaus

Build logical theories for SAT solvers on the fly
Python
6
star
5

krtoolkit

Python
4
star
6

PowerfulPuzzling

The Powerful Puzzling algorithm aims to provide a solution to jigsaw puzzle solvers that are able to work with island pieces (a group of two or more connected pieces).
Python
4
star
7

tempopem

Software to generalize and execute partial order plans with simple temporal constraints.
Python
2
star
8

temporal-nl-to-pddl

Alex's CISC 500 capstone project repository
Python
1
star