Fortress (FORmula TRanslation, Evaluation and Symbolic Simplification), former JCSA (Java Constraint Solver API), is an open-source and extendable Java library providing facilities for manipulation with formulae (terms and constraints). The library allows creating formulae (in the form of syntax trees), translating them into external formats (programming languages, XML, SMT-LIB, etc.), evaluating them and doing symbolic simplification. It also supports constraint solving using built-in solvers as well as external ones (like Yices, Z3, CVC4, etc.). For more information, read Wiki.
Licensing and Distribution¶
The Fortress package is distributed under the Apache License, Version 2.0, which implies the freedom to use the software for any purpose (to distribute it, to modify it and to distribute modified versions of the software) under the terms of the license, but requires preservation of the copyright notice and disclaimer.
The package can be downloaded from the Files page.
Manager: Alexander Kamkin, Andrei Tatarnikov
Developer: Alexander Kamkin, Alexey Demakov, Andrei Tatarnikov, Artem Kotsynyak, Igor Melnichenko, Mikhail Chupilko, Mikhail Lebedev, Sergey Smolov
Reporter: Alexander Chudnovskiy, Artemiy Utekhin
Project Creator: Alexander Kamkin
Fortress v0.4.27 released
Fortress v0.4.27 has been released.
Fortress v0.4.26 released
Fortress v0.4.26 has been released.
Fortress v0.4.25 released
Fortress v0.4.25 has been released.
Fortress v0.4.24 released
Fortress v0.4.24 has been released.
Fortress v0.4.23 released
Fortress v0.4.23 has been released.