SAT calculator

Το SAT Calculator είναι ένας open source editor για φόρμουλες SAT. Δημιουργήθηκε για την μελέτη και επίλυση τους στα πλαίσια της θεωρίας της πολυπλοκότητας. 

Στην παρούσα έκδοση περιλαμβάνει:

- Δημιουργία, επεξεργασία και αποθήκευση φόρμουλας SAT σε μορφή cnf
- Ντετερμινιστική επίλυση της φόρμουλας και εύρεση όλων των πιθανών λύσεων
- Manual αποτίμηση κάθε μεταβλητής για ανάλυση την συνολικής αποτίμησης της φόρμουλας
- Rsolution για επιλεγμένα clauses
- Στατιστικά στοιχεία για κάθε μεταβλητή και σχετιζόμενα clauses
- Έτοιμες φόρμουλες από διάφορες πηγές στο ίντερνετ για ανάλυση και επεξεργασία

Το SAT Calculator τρέχει σε windows και είναι γραμμένο σε WPF, C# και NET 4.7.2

Μπορείτε να το κατεβάσετε από εδώ ή να τα κατεβάσετε τα sources από το github στο github.com/kritikov/SATCalculator-released.