JResolution is a simple, flexible, easily-maintained Java program for resolution-theorem proving which allows re-configurations for the various restrictions of the resolution-rule as determined by an (expert) user.

Project Activity

See All Activity >

Categories

Artificial Intelligence, Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow JResolution

JResolution Web Site

You Might Also Like
HRSoft Compensation - Human Resources Software Icon
HRSoft Compensation - Human Resources Software

HRSoft is the only unified, purpose-built SaaS platform designed to transform your complex HR processes into seamless digital ones

Manage your enterprise’s compensation lifecycle and accurately recognize top performers with a digitized, integrated system. Keep employees invested and your HR team in control while preventing compensation chaos.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of JResolution!

Additional Project Details

Intended Audience

Developers

Programming Language

Java

Related Categories

Java Artificial Intelligence Software, Java Mathematics Software

Registered

2005-11-07
Report inappropriate content