search

fmidue / logic-tasks

0 stars 1 forks source link

Dualisierung von "KNFs erkennen" zu "DNFs erkennen" #97

Open jvoigtlaender opened 7 months ago

jvoigtlaender commented 7 months ago

Das sollte unter weitgehender Wiederverwendung von LogicTasks.Syntax.IllegalCnfs und Tasks.LegalCNF.* gehen.