Skip to content

modus-continens/modus

main
Switch branches/tags
Code

Latest commit

* 'normalize' terms to get better/alt equality check

* add literal to builtin error output

* get original variable for renamed variable

* minor: rustfmt

* minor comment fix

* use error severity to determine if successful tree

* upgrade `InsufficientGroundness` to an error

* use concat -> f-string in dot graph

* omit chains of uninteresting resolutions

* don't treat errors as negation proofs

* minor: rustfmt
7682f52

Git stats

Files

Permalink
Failed to load latest commit information.

Crates.io Version Crates.io Licence

modus logo

Modus is a language for building Docker/OCI container images. Modus uses logic programming to express interactions among build parameters, specify complex build workflows, automatically parallelise and cache builds, help to reduce image size, and simplify maintenance. For more information, please follow these links:

Modus uses semantic versioning; until version 1.0 is declared, breaking changes are possible. The current version, 0.1, is a preview release. We welcome bug reports and feature requests submitted through GitHub Issues.