GithubHelp home page GithubHelp logo

Speedith

Speedith is a diagrammatic theorem prover for spider diagrams.

Build Status

Licence

Speedith is licenced under the MIT licence. Please read LICENCE.md for more information.

Developer's Guide to Speedith

General Requirements

These requirements have to be checked only once. After you make sure you have these, you can build Speedith at any time.

Optional:

  • Tesseract (needed for character recognition in drawn input):

    • Linux & OS X: Please follow this guide.

    • Windows: no need to install. Tesseract comes pre-packaged.

Building Speedith

Use Maven to build Speedith (in the root directory of your cloned Speedith repository):

mvn install

Running Speedith

The build will result in a distributable package:

Speedith.Gui/target/speedith-gui-0.0.1-SNAPSHOT-bin.zip

Unpack the archive and navigate into the unpacked speedith/bin folder.

Once in speedith/bin folder, execute the script that best matches your platform.

For example, on Windows you might want to execute either

speedith-win32.bat

or

speedith-win64.bat

speedith's Projects

icircles icon icircles

iCircles (short for Inductive Cirles) is a library for drawing spider diagrams (see http://www.eulerdiagrams.com/inductivecircles.html for more info).

speedith icon speedith

Speedith is a theorem prover for spider diagrams (see http://en.wikipedia.org/wiki/Spider_diagram).

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.