rpgoldman / pddl-toolsLinks
Common lisp library for manipulating PDDL expressions.
☆14Updated last month
Alternatives and similar repositories for pddl-tools
Users that are interested in pddl-tools are comparing it to the libraries listed below
Sorting:
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 3 years ago
- Distributed system emulation in Common Lisp☆29Updated last week
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 7 years ago
- Jürgen Walther's AI Workbench for Common Lisp, restored from the CMU AI Repository☆13Updated last year
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 5 months ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- support for non-linux platforms (tested on Darwin) and other misc updates☆43Updated 10 years ago
- Module system for languages that compile to Common Lisp☆61Updated last year
- Common Lisp library that facilitates working with Common Lisp arrays.☆37Updated 2 years ago
- Concrete Syntax Trees represent s-expressions with source information☆61Updated last month
- Implementation of Petri nets in Common Lisp☆25Updated 5 years ago
- High-level immediate mode user interface library based on Nuklear IM GUI library☆18Updated 4 years ago
- Environment protocol for Common Lisp compilers.☆34Updated last year
- A portable type inference library for Common Lisp☆43Updated 2 months ago
- Read and write Numpy .npy and .npz files.☆17Updated last year
- Simple graph data structure and algorithms☆70Updated this week
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆17Updated 6 years ago
- ☆26Updated 2 years ago
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- Implementation of fact bases for Common Lisp☆23Updated 7 years ago
- GrammaTech Common Lisp Utilities☆21Updated this week
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Updated 5 years ago
- Common Lisp distributed computation framework implemented using Swank Client☆43Updated last year
- The Ops5 programming language for production systems☆38Updated 5 years ago
- ☆18Updated 3 months ago
- ZeroMQ 4.0+ Common Lisp bindings.☆38Updated last year
- A simpler alternative to object prevalence for Common Lisp.☆53Updated last year
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆48Updated 8 years ago
- LMDB bindings for Common Lisp☆44Updated 2 years ago
- Sources of the "Well Specified Common Lisp" specification which is based on the final draft of the Common Lisp standard but is not a new …☆39Updated last year