S-SAT - Sapienza SAT - Browse Files at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
s-sat	2009-02-14		0
s-sat0.2beta	2008-05-14		0
Totals: 2 Items			0

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

Demo Series - Small Business Backup By Veeam

Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.

Watch Demo Series

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

Decision Procedure Toolkit
The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
MathMLWYSIWYGEditor
MathMLWYSIWYGEditor allows users to generate mathematical, physical and engineering formulas using the mathematical markup language, MathML. Requires hardly any knowledge on MathML.
Linear Program Solver (Simplex)
Linear Program Solver (Solvexo) is an optimization package intended for solving linear programming problems. The main features of the Solvexo are: · Solvexo solver is based on the efficient implementation of the simplex method (one or two phases); · Solvexo provides not only an answer, but a detailed solution process as a sequence of simplex matrices, so you can use it in studying (teaching) linear programming. · Solvexo provides a solution with the graphic method for problems with tow variables. · This updated version includes two languages English and French. If you have any questions, feel free to contact me: romdhani.mohamed.ali@gmail.com. Any comments and suggestions would be helpful!
$Formulator MathML Editor$

Formulator MathML Editor
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
RFC SAT Macro Excel
Macro en Excel que calcula RFC con homoclave

S-SAT - Sapienza SAT Files