Draco is a formal framework for representing design knowledge about effective visualization design as a collection of constraints. You can use Draco to find effective visualization designs or validate existing ones. Draco's constraints are based on Answer Set Programming (ASP) and solved with the Clingo constraint solver. We also implemented a way to learn weights for the recommendation system directly from the results of graphical perception experiment. Draco v2 is a much improved version of the first iteration of Draco.
Read about Draco in the online book at https://dig.cmu.edu/draco2/ or launch it in interactive mode using Binder. In the documentation, we just refer to Draco without a version.
We welcome any input, feedback, bug reports, and contributions. You can learn about setting up your development environment in CONTRIBUTING.md.