Christian Muise
Christian Muise
New Content Proposal: Have the "Report an issue" links pre-populate the issue with the section of the page. Section: Reference/Guide PDDL/Planners Justification: Makes creating issues more seamless
Not yet ready to merge. * This is the session id to load for testing things: ZwmKioETsTG4OvZ * This is the new plugin implementation that implements the injection (search for...
Following steps need to be done for getting [this branch](https://github.com/sjlevine/atom-slime/tree/objects) working: - [ ] A list of todo items written by @sjlevine
This change seems to have caused a regression with the proper server setup: https://github.com/jan-dolejsi/vscode-pddl/commit/0a973a1972966d30c7f1d404d98e37b8c03683e8#diff-aa76e7a01629cf47157ed907a2b25bc125e8ed91d2992b3c881df6a9208ea66fR28 The latest uses a dict setup for the manifest, rather than a list: https://github.com/AI-Planning/planning-as-a-service/blob/main/server/api/app.py#L161
This is kind of a weird one...it appears as though VAL (and thus the VSCode extension) complains when we use `?after` as a parameter:  Any idea what might be...
The latest contest results are out, and we have a new top-solver: http://fmv.jku.at/kissat/ It's an improved version of CaDiCaL, and so hopefully not a big undertaking to include. In a...
- Removed old server code
Would be nice if we could seed it with some pre-installed packages from pip (unique to each deployed setting -- so configured in the HTML).
## Proposed changes Forgo negating an expression for the ability to subtract two expressions. ## Fixes Fixes #100, but also breaks the use of `-` as something that negates. ##...
```python import nnf x = nnf.Var('x') T = x | ~x nnf.dsharp.compile(T.to_CNF(), smooth=True).model_count() ``` Should equal 2, but it's equal to 1. This is because `T.to_CNF()` evaluates to `true`