ko56
ko56
This modification automatically assigns to the output file a suffix dictated by the format, as indicated in the last line of the comment. So you can simply say `(dot-graph g...
(@rpgoldman I had mentioned this in the `:hand-steer` issue that is now closed, and I'm re-mentioning it so it doesn't fall off the map.) Change the line `(let ((input (y-or-n-p...
I don't know if this is related to #102, but the following doesn't work as I expect: ``` (in-package :shop-user) (defdomain tst ( (:op (!mkalist) :precond (and (setof (eval (cons...
I'm attaching the latest manual.patch.gz. Besides the typographical and other minor fixes, I've reorganized sec. 11. In sec. 11.1, item 1, I think something more may need to be said...
The following happens on FreeBSD 12.1 when I run a PyPlot example and try to rotate the 3D plot: _ _ _ _(_)_ | Documentation: https://docs.julialang.org (_) | (_) (_)...
Can someone explain what are the limitations of names in @vars? For example, I want to use a definition of this form: @vars ys => "$y^*$" where I've written LaTeX...
If you have a pre-existing installation of GR, say in /opt/gr, in FreeBSD, and GRDIR is appropriately set, the following fix to the end of build.jl will make the installation...
(Related to issues #32 and #57) My suggestion is to have the build.jl script, here we're using CodecXz as an example, somehow check whether the library it's looking for already...
Hi, I am trying to build SMTPlan on FreeBSD 12.1, gcc9, cmake 3.15.5, boost 1.72, piranha 0.11_7. This is what happens: `[ 50%] Building CXX object CMakeFiles/SMTPlan.dir/src/VALfiles/src/SimpleEval.cpp.o [ 56%] Building...
Thanks very much for your work on this! I'm running FreeBSD 13, and have clang 11. I'm using the latest NOMAD package. When I try to test it, I get...