jump-dev / jump-dev/DiffOpt.jl

Create a separate subfolder for bridges

Aperta
#348 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
Lingua principale
Julia
Stelle
145
Fork
21
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

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

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.