Toss Icon

Toss

beta
Add a Review
1 Download (This Week)
Last Update:
Download toss_1.0.zip
Browse All Files
Windows Mac Linux

Screenshots

Description

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then,
on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

Toss Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of Toss!

Additional Project Details

Languages

English

Intended Audience

Education, Science/Research

User Interface

Web-based

Programming Language

JavaScript, OCaml (Objective Caml)

Registered

2004-07-28

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks
Screenshots can attract more users to your project.
Features can attract more users to your project.