EulerMoz is an inference engine supporting logic based proofs based on EulerSharp project.


http://eulermoz.sourceforge.net





Separate each tag with a space.

Ratings and Reviews

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

Project Feed

  • Code committed

    naudts committed patchset 33 of module eulermoz to the EulerMoz CVS repository, changing 11 files

    posted by naudts 30 days ago

  • Code committed

    naudts committed patchset 32 of module eulermoz to the EulerMoz CVS repository, changing 16 files

    posted by naudts 36 days ago

  • Code committed

    naudts committed patchset 31 of module eulermoz to the EulerMoz CVS repository, changing 9 files

    posted by naudts 84 days ago

  • File released: /ClientServerDemo.tar

    posted 85 days ago

  • Code committed

    naudts committed patchset 30 of module eulermoz to the EulerMoz CVS repository, changing 1 files

    posted by naudts 89 days ago

  • Code committed

    naudts committed patchset 29 of module eulermoz to the EulerMoz CVS repository, changing 1 files

    posted by naudts 103 days ago

  • File released: /extensionPlan.txt

    posted 104 days ago

  • Code committed

    naudts committed patchset 28 of module eulermoz to the EulerMoz CVS repository, changing 8 files

    posted by naudts 1715 days ago

  • Code committed

    naudts committed patchset 27 of module eulermoz to the EulerMoz CVS repository, changing 17 files

    posted by naudts 1717 days ago

  • Code committed

    naudts committed patchset 26 of module eulermoz to the EulerMoz CVS repository, changing 11 files

    posted by naudts 1718 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

EulerMoz Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review