planning

PPA description

A collection of AI planners and domains.

Adding this PPA to your system

You can update your system with unsupported packages from this untrusted PPA by adding ppa:aicoles/planning to your system's Software Sources. (Read about installing)

sudo add-apt-repository ppa:aicoles/planning
sudo apt update
        
Technical details about this PPA

This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.

deb https://ppa.launchpadcontent.net/aicoles/planning/ubuntu lucid main 
deb-src https://ppa.launchpadcontent.net/aicoles/planning/ubuntu lucid main 
Signing key:
1024R/49CDCD6973BCC55772733299BBA41F1342222995 (What is this?)
Fingerprint:
49CDCD6973BCC55772733299BBA41F1342222995

For questions and bugs with software in this PPA please contact Andrew Coles.

PPA statistics

Activity
0 updates added during the past month.
View package details

Overview of published packages

114 of 14 results
Package Version Uploaded by
crikey3 3.1-1 Andrew Coles ()
ff 2.3 Andrew Coles ()
ipc2002domains 2002-1 Andrew Coles ()
ipc2004domains 2004-1 Andrew Coles ()
ipc2006domains-no-redundant-strips 2006-1 Andrew Coles ()
ipc2006domains-redundant-strips 2006-1 Andrew Coles ()
ipc2008-cyber-sec 2008-1 Andrew Coles ()
ipc2008-seq-opt-base 1.0 Andrew Coles ()
ipc2008domains-no-cyber-sec 2008-1 Andrew Coles ()
lama 2010.1.1-4 Andrew Coles ()
lprpg 0.2-1 Andrew Coles ()
metricff 2002 Andrew Coles ()
pddl-val 4.2.04 Andrew Coles ()
popf 2010.5.1-1 Andrew Coles ()
114 of 14 results

Latest updates

  • ipc2006domains-redundant-strips 722 weeks ago
    Successfully built
  • ipc2006domains-no-redundant-strips 722 weeks ago
    Successfully built
  • ipc2008-cyber-sec 722 weeks ago
    Successfully built
  • ipc2008domains-no-cyber-sec 722 weeks ago
    Successfully built
  • ipc2008-seq-opt-base 722 weeks ago
    Successfully built