PropPlan

Model-based AI planner using binary decision diagrams. PropPlan parses PDDL descriptions of the domain and the problem, and outputs a plan.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow PropPlan

PropPlan Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of PropPlan!

Additional Project Details

Operating Systems

Linux, Mac

Intended Audience

Education

Programming Language

Standard ML

Related Categories

Standard ML Algorithms, Standard ML Artificial Intelligence Software

Registered

2007-12-04

Similar Business Software

Coursebox AI

Coursebox is an AI course creator and LMS in one: the easiest way to create exceptional training. Turn a prompt or the documents you already have into a full course with quizzes, videos and scenarios in minutes. Coursebox works like a senior learning designer on your team. Give Coursebox your...

See Software
ONLYOFFICE Docs

ONLYOFFICE is an open-source project that offers cloud-based and self-hosted solutions for business of all sizes. The key product is ONLYOFFICE Docs, a secure office suite that seamlessly integrates into the most popular platforms, e.g. Odoo, Alfresco, Confluence, Pipedrive, Redmine, SuiteCRM...

See Software
LM-Kit.NET

LM-Kit.NET is a complete local AI runtime for .NET that lets engineering teams ship AI-powered features without cloud dependencies, per-token costs, or data leaving the network. Most .NET AI integrations stop at inference. LM-Kit.NET covers the full range of capabilities production...

See Software
ClickUp

Every day your team loses hours bouncing between disconnected apps. The problem isn't your people. It's that your software was never built to work together. Bundling tools doesn't fix it. You need convergence. ClickUp is one platform where projects, docs, chat, goals, and AI share the...

See Software
Criminal IP

Criminal IP is a cyber threat intelligence solution that provides decision-ready threat intelligence, and attack surface management solutions to security teams worldwide. By continuously scanning the global internet, Criminal IP aggregates and contextualizes threat signals across IPs, domains,...

See Software
Google Workspace

Google Workspace with Gemini integrates premium AI into Gmail, Docs, Drive, Meet, and more, helping businesses work smarter, not harder. Draft emails faster, generate ideas, and summarize documents effortlessly with AI-powered assistance. Manage tasks, schedule meetings, and stay organized...

See Software

Report inappropriate content