PSAT

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

ABOUT PSAT

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