[X] The "/OldFiles" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

Clausula is an Automatic Clause Deductor licensed under the GNU GPL. From a set of clauses, this software can determinate whether or not the set is satisfacible. Clausula has been designed for educational purposes, specially for Logic degree curses.

Download Now! Clausula EST2009 (965.5 KB) OR View all files

http://clausula.sourceforge.net





Separate each tag with a space.

Release Date:

2009-09-15

Topic:

Mathematics

Operating System:

All 32-bit MS Windows (95/98/NT/2000/XP),
Linux

License:

GNU General Public License (GPL)

Translations:

Spanish

Intended Audience:

Education, Science/Research

User Interface:

Qt

Programming Language:

C++

Registered:

2008-06-02

Ratings and Reviews

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

Project Feed

  • File released: /docs/0.4/clausulaEst2009ultimo.pdf

    posted 114 days ago

  • Code committed

    Anonymous committed 0a41b5e of branch master to the Clausula Git repository, changing 30 files

    posted by nobody 123 days ago

  • Code committed

    Anonymous committed 4fb476c of branch master to the Clausula Git repository, changing 33 files

    posted by nobody 150 days ago

  • Code committed

    Anonymous committed 4fb476c of branch master to the Clausula Git repository, changing 33 files

    posted by nobody 150 days ago

  • Code committed

    Anonymous committed b3e57cc of branch master to the Clausula Git repository, changing 10 files

    posted by nobody 150 days ago

  • Code committed

    Anonymous committed b3e57cc of branch master to the Clausula Git repository, changing 10 files

    posted by nobody 150 days ago

  • Code committed

    Anonymous committed b3e57cc of branch master to the Clausula Git repository, changing 10 files

    posted by nobody 150 days ago

  • Code committed

    Anonymous committed 421822b of branch master to the Clausula Git repository, changing 1 files

    posted by nobody 150 days ago

  • Code committed

    Anonymous committed 421822b of branch master to the Clausula Git repository, changing 1 files

    posted by nobody 150 days ago

  • Code committed

    Anonymous committed 421822b of branch master to the Clausula Git repository, changing 1 files

    posted by nobody 150 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?





<

Related Projects

Clausula Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks