Add Project.toml, rm REQUIRE

[rschwarz]

No description provided.

[rschwarz]

Should merge #118 before, PR created prematurely 😕

[rschwarz]

Maybe this should be rebased on master, because it currently (accidentally) contains the commits from #118 as well. #118 should only be merged after a new MOI release (v0.9?) was tagged, which I think didn't happen yet.

[matbesancon]

this would be practical indeed

[rschwarz]

@matbesancon your Project.toml from #120 looks different from the one I created. I don't actually remember what process I followed, but I see that I'm missing the test dependencies, for example. Feel free to apply those changes as you see fit.

[codecov]

Codecov Report

Merging #119 into master will decrease coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #119      +/-   ##
==========================================
- Coverage   14.11%   14.09%   -0.02%     
==========================================
  Files         134      134              
  Lines        4251     4256       +5     
==========================================
  Hits          600      600              
- Misses       3651     3656       +5

Impacted Files	Coverage Δ
src/managed_scip.jl	97.08% <0%> (-1.93%)	⬇️
src/MOI_wrapper.jl	81.63% <0%> (-1.71%)	⬇️
src/MOI_wrapper/quadratic_constraints.jl	65.45% <0%> (-1.22%)	⬇️
src/MOI_wrapper/variable.jl	76.52% <0%> (-0.68%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 61d3527...12f42da. Read the comment docs.

[rschwarz]

Thanks for your comments. I believe the first TOML file was generated from the REQUIRE by a script that was shared on Discourse. But that doesn't mean that the version spec will be any good, if there were no upper bounds in the REQUIRE.

Not sure if this should be merged now, to register a release, or better wait on MOI's update to v0.9.

[matbesancon]

we can register a last release patch, given the fix for Windows, it would be interesting