Skip to content

split completion from COFEs and only require it for the solver

Ralf Jung requested to merge ofe into master

This is the OFE part of !22 (merged)

Cc @robbertkrebbers @jjourdan

Merge request reports