Christian Muise
                                            Christian Muise
                                        
                                    I think it's important to keep the two threads separate: I piped up on this thread since I authored DSHARP and am still familiar with the internals there. But if...
How would this conceptually work? We could measure the hamming distance between a suggested paper and the actual "next written one", but is that interesting in any way?
@lucasmazza Any idea on this one? I'd love to use this, but face a similar issue with nothing happening on linux (no error cast in the JS console either).
Hrmz...the code copied just pastes as markup wherever I try (libre office, google docs, etc). It ends up looking like this: ``` {\rtf1\ansi\uc0\deff0{\fonttbl{\f0\fmodern\fprq1\fcharset0 Monaco;}}{\colortbl;\red0\green0\blue0;\red78\green154\blue6;\red0\green0\blue207;\red143\green89\blue2;\red245\green121\blue0;\red32\green74\blue135;\red128\green0\blue128;\red206\green92\blue0;\red248\green248\blue248;\red0\green160\blue0;\red52\green101\blue164;\red164\green0\blue0;\red92\green53\blue204;\red239\green41\blue41;\red196\green160\blue0;\red0\green0\blue128;\red204\green0\blue0;}\f0 \fs32{\cf1\b (}{\cf6 defun} {\cf1 testcctp} {\cf1\b...
This was solved after a discussion over on the slack channel. It was an error in the problem's initial state (had negated fluents) which the online solver didn't like.
Aye, the deployed one was on a stale branch, but was fixed. Should be showing a mapping now as well: https://paas-uom.org:5001/package
The offending line: https://github.com/AI-Planning/planning-as-a-service/blob/main/server/api/app.py#L60 This fix ok by you, @jan-dolejsi ? https://github.com/AI-Planning/planning-as-a-service/pull/49
Thank you for the quick fix, btw!
Last I recall, none of the publically available planners have implemented the necessary hooks required to make use of the search debugger functionality. The standard is open (@jan-dolejsi can point...
Did you start the planutils server separately on your own machine?