Patrick Lühne patrick
0 Followers · 0 Following
Repositories
28
 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
Archived
SAS 0 0

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

Updated 2022-08-30 01:34:43 +02:00

foliage-rs
Rust 0 0

Updated 2020-07-07 09:56:28 +02:00

anthem-rs
Rust 0 0

Updated 2020-06-12 23:04:15 +02:00

github-fast-envd
Ruby 0 0

Updated 2020-05-27 21:04:30 +02:00

benchmark-repository-rs
Rust 0 0

Updated 2020-01-10 14:30:44 +01:00

ask-dracula-rs
Rust 0 0

Updated 2019-11-07 10:27:43 +01:00

benchmark-template
0 0

Template benchmark repository with example configuration

Updated 2019-03-02 14:18:38 +01:00

tplp-planning-benchmark
Python 0 0

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

Updated 2018-09-28 00:13:55 +02:00

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 2018-05-04 17:25:13 +02:00

madagascar
C 0 0

Development mirror of Jussi Rintanen’s planner Madagascar

Updated 2018-02-01 14:45:50 +01:00

random-password
Shell 0 0

Generate random passwords

Updated 2017-11-18 21:52:55 +01:00