Skip to content
GitLab

split completion from COFEs and only require it for the solver

Merged Ralf Jung requested to merge ofe into master

This is the OFE part of !22 (merged)

Cc @robbertkrebbers @jjourdan