IsaPlanner Reasoning Tools

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > IsaPlanner Reasoning Tools

beta

IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; a reasoner for quantum computation (quantomatic); and various libraries.

View all files

http://dream.inf.ed.ac.uk/projects/isaplanner/

Topic:

Artificial Intelligence

Operating System:

OS Independent (Written in an interpreted language)

License:

GNU General Public License (GPL)

Translations:

English

Intended Audience:

Science/Research

Programming Language:

Java, Lisp, Standard ML

Registered:

2003-06-11

Be the first to post a text review of IsaPlanner Reasoning Tools. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Code committed

omarmrivas committed revision 2411 to the isaplanner SVN repository, changing 5 files

posted by omarmrivas 7 days ago
Code committed

omarmrivas committed revision 2410 to the isaplanner SVN repository, changing 5 files

posted by omarmrivas 7 days ago
Code committed

lucasd committed revision 2409 to the isaplanner SVN repository, changing 1 files

posted by lucasd 8 days ago
Code committed

lucasd committed revision 2408 to the isaplanner SVN repository, changing 1 files

posted by lucasd 9 days ago
Code committed

omarmrivas committed revision 2407 to the isaplanner SVN repository, changing 24 files

posted by omarmrivas 9 days ago
Code committed

lucasd committed revision 2406 to the isaplanner SVN repository, changing 1 files

posted by lucasd 9 days ago
Code committed

lucasd committed revision 2405 to the isaplanner SVN repository, changing 1 files

posted by lucasd 9 days ago
Code committed

lucasd committed revision 2404 to the isaplanner SVN repository, changing 2 files

posted by lucasd 9 days ago
Code committed

lucasd committed revision 2403 to the isaplanner SVN repository, changing 2 files

posted by lucasd 9 days ago
Code committed

lucasd committed revision 2402 to the isaplanner SVN repository, changing 2 files

posted by lucasd 10 days ago

Rate and Review

Be the first person to add a text review.