search

flamapy / flamapy_fw

This repository hosts the main components of flamapy
4 stars 5 forks source link

fix: bug with distribute OR in converting AST to CNF (#95) #97

Closed Virako closed 2 years ago

Virako commented 2 years ago

Co-authored-by: José Miguel Horcas jhorcas@us.es