draco2
draco2 copied to clipboard
cmudig
🐉 Modular version of Draco visualization recommendation engine
Previously we used the built Pyodide package version as the cache key exclusively. This yielded false positive cache hits when only the source code of a module changed (the sha256...
https://potassco.org/ngo/ngo.html optimizes programs and could help us write cleaner ASP.
Right now, we parse asp programs manually but clingo has an ast parser that at could use instead. As of the last version it supports comments.
Hello, I'm currently unable to change the default soft constraints. I wanted to change "c_d_overlap_line" so as not to be weighted if I specify a task. Therefore, I changed the...
Would be good to show an embedding visualization of Draco specs using the feature vectors of constraint violations.
Right now, Draco's default model implements effectiveness as the optimization criterion. One can easily provide other weights but we could make it easier and clearer how to add new metrics...
For #730 Doesn't quite work. ``` draco/asp/generate.lp:6:1-85: error: unsafe variables in: 0
- [ ] Consider using defaults - [ ] Remove `not_required` and just use `not required` - [ ] Use unsat cores to find minimal sets of violations - [...
See https://readthedocs.org/dashboard/draco2. I already set up sphinx. Maybe we need something like https://github.com/astrojuanlu/jupyterbook-on-read-the-docs/blob/main/.readthedocs.yaml.