├── .gitattributes ├── .gitignore ├── README.md ├── facts ├── auto-begets ├── auto-unbuyable ├── bar ├── begets ├── combinations ├── recipes └── unbuyable ├── generate-auto-facts ├── list-ingredients ├── mixologician.dl ├── parse ├── results └── .gitignore ├── shell.nix └── test.t /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | tuxedono2/ 2 | mixable 3 | shopping-list 4 | *.err 5 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/README.md -------------------------------------------------------------------------------- /facts/auto-begets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/facts/auto-begets -------------------------------------------------------------------------------- /facts/auto-unbuyable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/facts/auto-unbuyable -------------------------------------------------------------------------------- /facts/bar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/facts/bar -------------------------------------------------------------------------------- /facts/begets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/facts/begets -------------------------------------------------------------------------------- /facts/combinations: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/facts/combinations -------------------------------------------------------------------------------- /facts/recipes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/facts/recipes -------------------------------------------------------------------------------- /facts/unbuyable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/facts/unbuyable -------------------------------------------------------------------------------- /generate-auto-facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/generate-auto-facts -------------------------------------------------------------------------------- /list-ingredients: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/list-ingredients -------------------------------------------------------------------------------- /mixologician.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/mixologician.dl -------------------------------------------------------------------------------- /parse: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/parse -------------------------------------------------------------------------------- /results/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | !.gitignore 3 | -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- 1 | with import {}; mkShell { 2 | nativeBuildInputs = [ souffle python39Packages.cram ]; 3 | } 4 | -------------------------------------------------------------------------------- /test.t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ianthehenry/mixologician/HEAD/test.t --------------------------------------------------------------------------------