SoftVarE-Group/d-dnnf-reasoner

Remove I/O from the library

Opened this issue · 0 comments

The ddnnife library should not contain I/O such as writing to CSV files. Instead, it should provide an API with data structures allowing for easy (de-)serialization.