Oxsat Command Line

Rating: No reviews yet
Downloads: 0
Released: Feb 22, 2017
Updated: Feb 23, 2017 by tbandrowsky
Dev status: Alpha Help Icon

Recommended Download

Application oxsat
application, 67K, uploaded Feb 23 - 0 downloads

Release Notes

This is a command line version of oxsat that actually works for decent sized problems and produces something of a proof for unsat problems. This is just a download of the exe itself, so pop it in a folder and use it.

Reviews for this release

No reviews yet for this release.