Name | Version | Summary | date |
---|---|---|---|
SparkleAI | 0.9.0 | Sparkle is a Programming by Optimisation (PbO)-based problem-solving platform designed to enable the widespread and effective use of PbO techniques for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning. | 2024-10-30 15:30:30 |
RunRunner | 0.1.8 | RunRunner is a wrapper library for creating and managing subprocesses and their status, mainly focussed on using Slurm but (in absence) can also work with local jobs. | 2024-10-28 12:34:21 |
hour | day | week | total |
---|---|---|---|
35 | 1563 | 10884 | 266081 |