Patrick Hegemann's repositories
pddlprinter
Convenient generation of PDDL files for automated planning
aquaplanning
Aquaplanning QUick Automated Planning.
Language:JavaMIT000
argparse
Argument Parser for Modern C++
Language:C++MIT000
Blokk
Extendable and configurable falling blocks game
Language:PythonGPL-3.0000
Diophantus
Linear integer equation system solver
Language:C++000
DL-Learner
A tool for supervised Machine Learning in OWL and Description Logics
Language:JavaGPL-3.0000
haskell-algorithms
Some algorithms written in Haskell just for fun
Hsat
A toy SAT solver written in Haskell
Language:Haskell000
parallel-graphplan
Parallel implementation of the Graphplan algorithm using incremental SAT solving
Language:C++000
RegExParser
Just a parser for simple regular expression
Language:Python000