psat online with Winfy

We have hosted the application psat in order to run this application in our online workstations with Wine or directly.

Quick description about psat:

This is a project aimed at produce software for decide the Probabilistic Satisfiability (PSAT) problem under a logical approach.



.