SATPC

SAT Properites Calculation Calculates different properties for a given SAT (satisfiability problem) instance.

Project Activity

See All Activity >

License

MIT License

Follow SATPC

SATPC Web Site

Other Useful Business Software

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of SATPC!

Additional Project Details

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Scientific Engineering

Registered

2010-06-09

Similar Business Software

Thermo-Calc

Thermo-Calc is a powerful thermodynamic modeling software used by materials scientists and engineers to generate material properties data, gain insights about materials, understand specific observations, and answer direct questions related to a specific material and/or its processing. It...

See Software
OptiWin 3D Pro

OptiWin 3D Pro is our own lighting calculation program, which we offer free of charge to our customers and partners. The program makes it possible to carry out lighting calculations for comprehensive and complex projects. Correct lighting calculations are important for maritime and oil and gas...

See Software
MechaniCalc

MechaniCalc, developed by MechaniCalc, Inc., is a suite of web-based calculators focused on machine design and structural analysis. These calculators perform analysis with a level of detail and comprehensiveness that would be expected in industry while also being intuitive and accessible. Use...

See Software