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

Updated 11 months ago

Regularly performs Nextcloud’s cron.php background job

Updated 11 months ago

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

Updated 5 months ago

Generate random passwords

Updated 11 months ago

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

Updated 3 weeks ago

Development mirror of Jussi Rintanen’s planner Madagascar

Updated 8 months ago

My master thesis project on malware detection using neural networks and multi task learning

Updated 8 months ago

Updated 1 week ago

Updated 49 minutes ago