jump-dev / jump-dev/DiffOpt.jl

Create a separate subfolder for bridges

Open
#348 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Julia
Stars
145
Forks
21
PR merge metrics
No merged PRs in 30d

Description

And a separate file for each bridge. With https://github.com/jump-dev/DiffOpt.jl/pull/345, the file is getting to a size where it's worth splitting

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.