Skip to content

Add role for SAT/SMT

Guedemann, Matthias requested to merge feature/add_sat_role into main

install minisat and z3, used in compiler, theoinf2, program verification

Merge request reports

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum