solver

Describe the new feature

Similar to #188, I want to be able to capture the PuLP output and put it all in a single log line, rather than having it go to stdout directly. Instead of creating a temporary file and pointing PuLP to the log file, I would like to be able to get the log output as a string, similar

Suppose we have an input.json file in the current directory and foo is not a valid directory. Then

vroom -i input.json -o foo/output.json

fails to write any output. The return code is 0, which is somehow consistent with exiting silently.

We should really raise an error when writing to a file is requested and turns out to be impossible.

It would be nice if Choco were able to support MiniZinc output format.

The package I want to suggest the idea to: AngouriMath

arcsin(sqrt(2) / 2)

should be recognized to be pi / 4

Now that Convex.jl is backed by MOI, we can take advantage of its ability to write to file formats (https://jump.dev/MathOptInterface.jl/stable/apimanual/#File-formats-1). It's actually pretty easy to do this already, e.g.

using Convex, COSMO
x = HermitianSemidefinite(2)
p = minimize( real(tr(x)), tr(x * [1.0 im; -im 0]) == 0, x[1,1] == 1)
solve!(p, COSMO.Optimizer)

using MathOp

isQuestion() || sentence.isQuest() occurs frequently all over the place
https://github.com/opennars/opennars/search?utf8=%E2%9C%93&q=isQuestion%28%29+%7C%7C+sentence.isQuest%28%29&type=

Dear all,

This isn't really a bug, more like a small annoyance, but given the superb quality of this crate I figured I'd report it anyway... :)

On recent nightly (rustc 1.62.0-nightly (34a6c9f26 2022-04-13)), the generated code produces a compiler warning:

warning: unused doc comment
  --> crates/blimp_mpc/path_follow/icasadi_path_follow/src/lib.rs:33:1
   |
33 |   /// C interface (