Transsat

planning

Add a Review
0 Downloads (This Week)
Last Update:

Description

Transsat makes it possible to use unary and binary coding in SAT-related problems. Furthermore it introduces a convenient file format to input integer-based constraints and you can choose between popular SAT-solvers.

Transsat Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Transsat!

Additional Project Details

Languages

English, German

Intended Audience

Developers, Education

User Interface

Command-line

Programming Language

C, C++, Java

Registered

2007-03-08
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.