Patrick Lühne patrick
0 Followers · 0 Following
Repositories Projects Packages Public Activity Starred Repositories
2
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
plasp
SAS 0 0

ASP planning tools for PDDL (local mirror of https://github.com/potassco/plasp for development purposes)

Updated 9 months ago

foliage-rs
Rust 0 0

Updated 3 years ago

anthem-rs
Rust 0 0

Updated 3 years ago

github-fast-envd
Ruby 0 0

Updated 3 years ago

benchmark-repository-rs
Rust 0 0

Updated 3 years ago

ask-dracula-rs
Rust 0 0

Updated 4 years ago

benchmark-template
0 0

Template benchmark repository with example configuration

Updated 4 years ago

tplp-planning-benchmark
Python 0 0

Planning benchmarks for the extended TPLP journal version of the plasp paper

Updated 5 years ago

anthem
C++ 0 0

Translate answer set programs to first-order theorem prover language (local mirror of https://github.com/potassco/anthem for development purposes)

Updated 5 years ago

madagascar
C 0 0

Development mirror of Jussi Rintanen’s planner Madagascar

Updated 5 years ago

random-password
Shell 0 0

Generate random passwords

Updated 6 years ago