Add support for SAT models #18
Description
Related to https://github.com/dpsanders/SatisfiabilityInterface.jl/blob/master/src/MOI_wrapper.jl
Have a look at https://www.youtube.com/watch?v=F5QuDrTkAow before any work on this starts :).
{{ message }}
Related to https://github.com/dpsanders/SatisfiabilityInterface.jl/blob/master/src/MOI_wrapper.jl
Have a look at https://www.youtube.com/watch?v=F5QuDrTkAow before any work on this starts :).