SPDXVersion: SPDX-2.1
DataLicense: CC0-1.0
SPDXID: SPDXRef-DOCUMENT
DocumentName: project
DocumentNamespace: http://spdx.org/spdxdocs/spdx-v2.1-ba8e8f79-23ce-4892-8a73-9051d6f86c8d
Creator: Person: Anonymous ()
Creator: Organization: Anonymous ()
Creator: Tool: reuse-6.1.0
Created: 2025-10-18T16:28:26Z
CreatorComment: <text>This document was created automatically using available reuse information consistent with REUSE.</text>
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a83c7a8ed2a0a3f2610497332a7c9619
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9f1e4340e890e766cb22a88bcc2ebce6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-1acc3ed2f22ed1be135be4f93cdd3385
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-b00dfe1b294d1a67ed09620226b889de
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-cb124e6a0ad59b47f6cc0d3c85bfcd9e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-121731732b494f710608f082bf1b04bc
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e28998002f6bf2ede9059a6dda30dd07
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-65d34a3e08b36070e16b0ccecc748e63
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-65c9e2156ba7f8b2ee85b43f726ab0cf
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-804191542b536083df905228213140fc
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3904d67a3f54f722e20d9e9f283f3796
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3292e6158f7dba369e0b4365a1d59c28
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-18fc9d1b78c7af9802241b690b66c458
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3bd627d21ffc27a9c1cb988b2ca0c3ae
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7e7ef359030241b76a9444d2c02cf518
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-099da4bf9cf06ba4dfb0299dae692513
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d9331d86287fb8451fa7075fe2fc5903
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-65c50f6fb4387bce509ec8aaa7ca830c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-c51b3c710d513deae05ba10d1275bb92
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a3949000a97a17a0059859887c4c8216
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-a730220a634b087bad3d79d93a360212
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-3f261377315c9786d2e6c619ceb887ff
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-aafd153ddf57c88f6077fef3a0382a00
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-dce029b0038263cdda4a9e8346d937f7
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-8463f26a354573620ec7a766d04dc1c4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-d5767e6da57bfbca56fed2763ddb9252
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7fd4a818347b1f17481bfebf6bd598ee
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e2f8cdaba6ef926e8c48290359d02b9c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-782e7e0a5aa0aa3af1c2e229a8889f82
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7ad80ff5aaae591e60d2350cbfda7303
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-859398d43ccaf27950512ce0c01ae26b
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-db04e533c429096f5e322e73093e229e
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6e4695e177d43c63eda9ae751b16b933
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-13160e453f648030454ed634be45ca97
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-e6122b597551895849c96afb2cbe764c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-6d6498204365f237ef1e60dbe4fb3cc0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-05640b40c48ebaa34887d8bf89d43d9c
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-0eb3b71fab9bfb5238d0dce0157bdfc4
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-78518cc534d50c330e9f6a3298e254bb
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-4019ff4f1d56ea2b6e790fa7f8ce2cf0
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-7988af40720e084fe16c382d66c29cf8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-9f63d853b50b62e34c247c90e72a2557
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-ee7b47d3d82c32fff9f40188b1777aa2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-89c45a5ff12481e5643c7bccce688aa8
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5177d1eddeb3ca41e09afcaad5e4be31
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-058a39135a75a0373869fee81934312a
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-db68284311d690ab2e160a78109284d2
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-cbc7ac181277479504841b31a3ad4fe6
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-fc8f13d9c90a4816db45a84696d56624
Relationship: SPDXRef-DOCUMENT DESCRIBES SPDXRef-5c3cad87e1cf19c5752b9c0df5df9c17

FileName: ./.check.exs
SPDXID: SPDXRef-a83c7a8ed2a0a3f2610497332a7c9619
FileChecksum: SHA1: 937e67b3d5ce613f3e1f67c282307dca0589ab17
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./.credo.exs
SPDXID: SPDXRef-9f1e4340e890e766cb22a88bcc2ebce6
FileChecksum: SHA1: dd81669cd94f9060abdc4b2c5e517ca26d7b1e94
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./.formatter.exs
SPDXID: SPDXRef-1acc3ed2f22ed1be135be4f93cdd3385
FileChecksum: SHA1: fc3e8815d9f4796301410248ee5aa25c84e00eed
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./.github/dependabot.yml
SPDXID: SPDXRef-b00dfe1b294d1a67ed09620226b889de
FileChecksum: SHA1: af5df2b1fdcf9490c9bc678f7fb59f78e78af042
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./.github/workflows/ci.yml
SPDXID: SPDXRef-cb124e6a0ad59b47f6cc0d3c85bfcd9e
FileChecksum: SHA1: a3cdd7f862de9dc9c2567b40d63fbc6f3806596f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./.github/workflows/scorecard.yml
SPDXID: SPDXRef-121731732b494f710608f082bf1b04bc
FileChecksum: SHA1: dcb0dc836316ac4c383746dd05bb883478b91e26
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./.gitignore
SPDXID: SPDXRef-e28998002f6bf2ede9059a6dda30dd07
FileChecksum: SHA1: e7bab5ed0a2ae0912e4a3331ae4e89047ea284a6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./.tool-versions
SPDXID: SPDXRef-65d34a3e08b36070e16b0ccecc748e63
FileChecksum: SHA1: 8c8ec94d830b2ee1178557e6d31ba4b3f4bde130
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./CHANGELOG.md
SPDXID: SPDXRef-65c9e2156ba7f8b2ee85b43f726ab0cf
FileChecksum: SHA1: acab0376794e307daf5abc36a519ff36bc92a2dd
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./README.md
SPDXID: SPDXRef-804191542b536083df905228213140fc
FileChecksum: SHA1: 54d9a01b6109fb786919313ac7c6f541c1527e43
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./config/config.exs
SPDXID: SPDXRef-3904d67a3f54f722e20d9e9f283f3796
FileChecksum: SHA1: 5a401e694e34e809ff1ba4e59169750840fc6b85
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux.ex
SPDXID: SPDXRef-3292e6158f7dba369e0b4365a1d59c28
FileChecksum: SHA1: 74242ebd5c7d8cd3704d099d17aed3638a4f70a7
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression.ex
SPDXID: SPDXRef-18fc9d1b78c7af9802241b690b66c458
FileChecksum: SHA1: a921249551cc5fb6bcc077339b43da1f68881bf4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule.ex
SPDXID: SPDXRef-3bd627d21ffc27a9c1cb988b2ca0c3ae
FileChecksum: SHA1: 2fcaefc9c1cea4efccc875d24130bd1b98c60b4c
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/absorption_law.ex
SPDXID: SPDXRef-7e7ef359030241b76a9444d2c02cf518
FileChecksum: SHA1: 61a45c519ce409e9ea4868470d82e013ae8152e4
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/annihilator_law.ex
SPDXID: SPDXRef-099da4bf9cf06ba4dfb0299dae692513
FileChecksum: SHA1: 10cda362d84f1a28f6c8b22b8f7955d4d15a8778
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/associativity_law.ex
SPDXID: SPDXRef-d9331d86287fb8451fa7075fe2fc5903
FileChecksum: SHA1: f8236693349f3f19199e99c8767b783672fba4f1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/commutativity_law.ex
SPDXID: SPDXRef-65c50f6fb4387bce509ec8aaa7ca830c
FileChecksum: SHA1: 96b4ff63a1c5f26b341877ca880142745de4d006
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/complement_law.ex
SPDXID: SPDXRef-c51b3c710d513deae05ba10d1275bb92
FileChecksum: SHA1: df7d11f5dd737e51faf2ae60c385211f6cb1975a
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/consensus_theorem.ex
SPDXID: SPDXRef-a3949000a97a17a0059859887c4c8216
FileChecksum: SHA1: 57e545c67cf2be8632ceff01307930d2ebced394
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/de_morgans_law.ex
SPDXID: SPDXRef-a730220a634b087bad3d79d93a360212
FileChecksum: SHA1: 501bebb70f54bfd3f5a9b89cfdb0aa8ed3859f82
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/distributive_law.ex
SPDXID: SPDXRef-3f261377315c9786d2e6c619ceb887ff
FileChecksum: SHA1: e00c4372d0973dfd2f808c06acf11cf797e9fc7f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/distributivity_based_simplification_law.ex
SPDXID: SPDXRef-aafd153ddf57c88f6077fef3a0382a00
FileChecksum: SHA1: 5e12f162d13a0dcdad82f72a9a369975e13f3f09
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/idempotent_law.ex
SPDXID: SPDXRef-dce029b0038263cdda4a9e8346d937f7
FileChecksum: SHA1: fb40cfd90e9975e424dd53fdd87ce2cf7690176d
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/identity_law.ex
SPDXID: SPDXRef-8463f26a354573620ec7a766d04dc1c4
FileChecksum: SHA1: cb41b60a892667cdba18f340eae6e991cd07baa9
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/negation_law.ex
SPDXID: SPDXRef-d5767e6da57bfbca56fed2763ddb9252
FileChecksum: SHA1: 8f8e08231739594e3974860601e17f9df5b47a64
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/tautology_law.ex
SPDXID: SPDXRef-7fd4a818347b1f17481bfebf6bd598ee
FileChecksum: SHA1: 22bda1d0691e2baa918f0e29d6b5b3894a2ef953
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/expression/rewrite_rule/unit_resolution.ex
SPDXID: SPDXRef-e2f8cdaba6ef926e8c48290359d02b9c
FileChecksum: SHA1: 2f92f216cb7aaeb5e411b3ba6379691dcf18ab0e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/formula.ex
SPDXID: SPDXRef-782e7e0a5aa0aa3af1c2e229a8889f82
FileChecksum: SHA1: e449a1849d727d82b185fde12728e0ac29c85c6f
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./lib/crux/implementation.ex
SPDXID: SPDXRef-7ad80ff5aaae591e60d2350cbfda7303
FileChecksum: SHA1: e99a673450a2b07ed3d43d495f58e91690bfe990
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./mix.exs
SPDXID: SPDXRef-859398d43ccaf27950512ce0c01ae26b
FileChecksum: SHA1: ca111a093af9e722e034d44d6581fe89e2617897
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/absorption_law_test.exs
SPDXID: SPDXRef-db04e533c429096f5e322e73093e229e
FileChecksum: SHA1: f3bf5f83bc4d4ab5dd491e0c5216b59eb430fe76
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/annihilator_law_test.exs
SPDXID: SPDXRef-6e4695e177d43c63eda9ae751b16b933
FileChecksum: SHA1: 266d02e96aa1cbfb6b9d8156cb80719f558e8087
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/associativity_law_test.exs
SPDXID: SPDXRef-13160e453f648030454ed634be45ca97
FileChecksum: SHA1: acfde53f3866cf98ef8f72b2b456f42aa599ccab
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/commutativity_law_test.exs
SPDXID: SPDXRef-e6122b597551895849c96afb2cbe764c
FileChecksum: SHA1: dc6758bdfa88ca6ead23bff4707aa3a29603c2cb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/complement_law_test.exs
SPDXID: SPDXRef-6d6498204365f237ef1e60dbe4fb3cc0
FileChecksum: SHA1: fb285c4b0b3823ee4e754d070ff9e476d77ecdea
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/consensus_theorem_test.exs
SPDXID: SPDXRef-05640b40c48ebaa34887d8bf89d43d9c
FileChecksum: SHA1: 03fa23bc9a81658c4c5ed64fdfff2c9af37d96a5
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/de_morgans_law_test.exs
SPDXID: SPDXRef-0eb3b71fab9bfb5238d0dce0157bdfc4
FileChecksum: SHA1: 96bbf6464afbf1307e93b283ec482bc393d84fdb
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/distributive_law_test.exs
SPDXID: SPDXRef-78518cc534d50c330e9f6a3298e254bb
FileChecksum: SHA1: 04889f7cc4a663532d8933dea3edca3db526772e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/distributivity_based_simplification_law_test.exs
SPDXID: SPDXRef-4019ff4f1d56ea2b6e790fa7f8ce2cf0
FileChecksum: SHA1: 8e6ac9b9a63c4bcd37fb0f662f1c0a813842c1d8
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/idempotent_law_test.exs
SPDXID: SPDXRef-7988af40720e084fe16c382d66c29cf8
FileChecksum: SHA1: 8bbd29acbde3abd552b7b3a11f21abe2191566e1
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/identity_law_test.exs
SPDXID: SPDXRef-9f63d853b50b62e34c247c90e72a2557
FileChecksum: SHA1: 6d357f76e09e0657ab32f914b5dd16f8178bb41e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/negation_law_test.exs
SPDXID: SPDXRef-ee7b47d3d82c32fff9f40188b1777aa2
FileChecksum: SHA1: 257739928409c7821c68f701b69101b52b8e53e6
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/tautology_law_test.exs
SPDXID: SPDXRef-89c45a5ff12481e5643c7bccce688aa8
FileChecksum: SHA1: 9c1f6873dd45b84a107092598192790fe8320527
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule/unit_resolution_test.exs
SPDXID: SPDXRef-5177d1eddeb3ca41e09afcaad5e4be31
FileChecksum: SHA1: 3a5c50c9650b54982ee243feaec2808788e35741
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression/rewrite_rule_test.exs
SPDXID: SPDXRef-058a39135a75a0373869fee81934312a
FileChecksum: SHA1: e04f6d2ac8a4bbbfeada827eda3d3be47c5dbf76
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/expression_test.exs
SPDXID: SPDXRef-db68284311d690ab2e160a78109284d2
FileChecksum: SHA1: 7782cbee66a76ef967f06ead7c338c56ebfdc08e
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux/formula_test.exs
SPDXID: SPDXRef-cbc7ac181277479504841b31a3ad4fe6
FileChecksum: SHA1: 358da63285111a55faa7d0f0a676f14cba04b7a2
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/crux_test.exs
SPDXID: SPDXRef-fc8f13d9c90a4816db45a84696d56624
FileChecksum: SHA1: 424c2ea2656d55ae6c99db7b8088061053adedba
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>

FileName: ./test/test_helper.exs
SPDXID: SPDXRef-5c3cad87e1cf19c5752b9c0df5df9c17
FileChecksum: SHA1: d92a571dd2b36c47687626362513f2f4a8c69d38
LicenseConcluded: NOASSERTION
LicenseInfoInFile: MIT
FileCopyrightText: <text>SPDX-FileCopyrightText: 2025 crux contributors <https://github.com/ash-project/crux/graphs.contributors></text>