[backport] Add availability flags in NLPModelMeta and NLSMeta

[amontoison]

Similar to #524 but for the branch 0.21.x which allows backporting some commits.
We can also check that we don't break anything, the breakage workflow should work here.

[github-actions]

Package name	latest	stable
ADNLPModels
AdaptiveRegularization
AmplNLReader
BundleAdjustmentModels
CUTEst
CaNNOLeS
DCISolver
FletcherPenaltySolver
FluxNLPModels
JSOSolvers
JSOSuite
LLSModels
ManualNLPModels
NLPModelsIpopt
NLPModelsJuMP
NLPModelsKnitro
NLPModelsModifiers
NLPModelsTest
NLSProblems
PDENLPModels
PartiallySeparableNLPModels
PartiallySeparableSolvers
Percival
QuadraticModels
RegularizedProblems
SolverBenchmark
SolverCore
SolverTest
SolverTools

[tmigot]

So, the implementation of NLPModels should set one of this flag to false is something is not implemented. We should also document it somewhere, if no obvious place in the NLPModels doc maybe the docstrings of the function to implement.

What is the motivation for this? Is that automatic solver selection ?

In ADNLPModels, it can even be automatic by checking whether EmptyADBackend is mentioned.

[amontoison]

@tmigot The motivation is here: #524 (comment)

[amontoison]

The main issue is that is more models than before can't implement all the API (NN models, Oracle in MOI) and the solvers like MadNLP.jl or UnoSolver.jl can't handle them.

[amontoison]

In ADNLPModels, it can even be automatic by checking whether EmptyADBackend is mentioned.

Too much specific, we don't want to have ADNLPModels.jl as a dependency of MadNLP.jl, NLPModelsIpopt.jl, NLPModelsKnitro.jl or UnoSolver.jl.
It was what we need if we want to check the lack of some functions in the solver.

The idea of NLPModels.jl is to provide an unified API for all AbstractNLPModel.

[tmigot]

Filling the attributes in the meta can be handled differently by the different implementation of nlpmodels. For most, it will be manually put, but ADNLPModels ca ba automatic. It does not add dependencies to adnlpmodels later on.

[amontoison]

Yes, I agree.
I didn't understand correctly your message. I thought that you wanted the detection of missing API in the optimization solvers for some ADNLPModels.

[amontoison]

So, the implementation of NLPModels should set one of this flag to false is something is not implemented. We should also document it somewhere, if no obvious place in the NLPModels doc maybe the docstrings of the function to implement.

I think it should be in the docstrings of the function, users will know that nlp.meta.*_available can be checked before calling the related routine.

[tmigot]

So, the implementation of NLPModels should set one of this flag to false is something is not implemented. We should also document it somewhere, if no obvious place in the NLPModels doc maybe the docstrings of the function to implement.

I think it should be in the docstrings of the function, users will know that nlp.meta.*_available can be checked before calling the related routine.

If you don't do it in this PR, please open an issue about it, thanks!