PyRank

Sat Solving Python Packages

Python packages with the GitHub topic sat-solving. Sorted by relevance, with stars and monthly downloads.
ctoth
formal-argumentation

Finite formal argumentation frameworks and semantics: Dung, ASPIC+, bipolar, partial, and revision

181 0 0