PyPI - combinatory-synthesizer - Versions diffs - 0.0.1.dev2__tar.gz → 0.0.1.dev24__tar.gz - Mend

combinatory-synthesizer 0.0.1.dev2tar.gz → 0.0.1.dev24tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (77) hide show

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/benchmarks.yml RENAMED Viewed

@@ -5,7 +5,7 @@ on:
     branches:
       - main
       - develop
-  pull_request:
+  pull_request_target:
     branches:
       - main
       - develop
@@ -34,19 +34,17 @@ jobs:
         private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
         repositories: |
           cosy
-          cosy-benchmarks
+          cosy-benchmarks
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
       with:
         repository: tudo-seal/cosy-benchmarks
-        token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
         ref: 'gh-pages'
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
       with:
         # Full history for timestamps
         fetch-depth: 0
-        token: ${{ steps.tudo-seal-workflow-token.outputs.token }}
         path: 'cosy-nested'
     - name: Set up Python
@@ -57,21 +55,17 @@ jobs:
     - name: Install Hatch
       uses: pypa/hatch@install
+    - name: Fetch PR branch from fork
+      if: ${{ github.event_name == 'pull_request' || github.event_name == 'pull_request_target' }}
+      run: gh pr checkout ${{ github.event.number }}
+      env:
+        GH_TOKEN: ${{ steps.tudo-seal-workflow-token.outputs.token }}
+      working-directory: 'cosy-nested'
     - name: Run Benchmark Suite
       run: hatch test benchmarks --benchmark-json benchmarks.json
       working-directory: 'cosy-nested'
-    - name: Config Git
-      run: |
-        git config user.name "tudo-seal-workflows[bot]"
-        git config user.email "244727884+tudo-seal-workflows[bot]@users.noreply.github.com"
-    - name: Determine Push Or Not
-      if: github.event_name != 'pull_request'
-      run: |
-        echo "PUSH_TO_BENCHMARKS=true" >> $GITHUB_ENV
-        echo "COMMENT_ALWAYS=false" >> $GITHUB_ENV
     - name: Store Benchmark Result
       uses: benchmark-action/github-action-benchmark@v1
       with:
@@ -86,4 +80,4 @@ jobs:
         comment-always: ${{ env.COMMENT_ALWAYS }}
         summary-always: true
         gh-repository: 'github.com/tudo-seal/cosy-benchmarks'
-        benchmark-data-dir-path: '${{ env.BRANCH_NAME }}/benchmarks'
+        benchmark-data-dir-path: '${{ env.BRANCH_NAME }}/benchmarks'

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/build-nightly.yml RENAMED Viewed

@@ -18,7 +18,7 @@ jobs:
           app-id: ${{ secrets.TUDO_SEAL_WORKFLOW_CLIENT_ID }}
           private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
         with:
           # Full history for timestamps
           fetch-depth: 0
@@ -43,6 +43,10 @@ jobs:
       - name: Build Package
         run: hatch build
+      - name: Stable Url
+        run: |
+          cp dist/combinatory_synthesizer-${{ env.NIGHTLY_VERSION }}.tar.gz dist/combinatory_synthesizer-nightly.tar.gz
       - name: Convert nightly to draft
         run: gh release edit --draft "${{ env.nightly_tag }}" || true
         env:
@@ -75,4 +79,5 @@ jobs:
           GH_TOKEN: ${{ steps.tudo-seal-workflow-token.outputs.token }}
           ARTIFACTS: >
             dist/combinatory_synthesizer-${{ env.NIGHTLY_VERSION }}.tar.gz
-            dist/combinatory_synthesizer-${{ env.NIGHTLY_VERSION }}-py3-none-any.whl
+            dist/combinatory_synthesizer-nightly.tar.gz
+            dist/combinatory_synthesizer-${{ env.NIGHTLY_VERSION }}-py3-none-any.whl

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/check-docs.yml RENAMED Viewed

@@ -19,7 +19,7 @@ jobs:
   check-docs:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
         with:
           # Full history for timestamps
           fetch-depth: 0

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/checks.yml RENAMED Viewed

@@ -36,7 +36,7 @@ jobs:
         python-version: ['3.10', '3.11', '3.12', '3.13']
     steps:
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
     - name: Set up Python ${{ matrix.python-version }}
       uses: actions/setup-python@v6

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/deploy-docs.yml RENAMED Viewed

@@ -22,7 +22,7 @@ jobs:
     needs: [pre-deploy-docs-checks]
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
       with:
         # Full history for timestamps
         fetch-depth: 0

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/pr-rules-develop.yml RENAMED Viewed

@@ -22,7 +22,7 @@ jobs:
           app-id: ${{ secrets.TUDO_SEAL_WORKFLOW_CLIENT_ID }}
           private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
         with:
           # Full history for timestamps
           fetch-depth: 0

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/pr-rules-main.yml RENAMED Viewed

@@ -22,7 +22,7 @@ jobs:
           app-id: ${{ secrets.TUDO_SEAL_WORKFLOW_CLIENT_ID }}
           private-key: ${{ secrets.TUDO_SEAL_WORKFLOW_PRIVATE_KEY }}
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
         with:
           # Full history for timestamps
           fetch-depth: 0

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/pre-release.yml RENAMED Viewed

@@ -21,7 +21,7 @@ jobs:
     environment: pre-release
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
       with:
         # Full history for timestamps
         fetch-depth: 0

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/.github/workflows/release.yml RENAMED Viewed

@@ -22,7 +22,7 @@ jobs:
     environment: release
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
       with:
         # Full history for timestamps
         fetch-depth: 0

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/PKG-INFO RENAMED Viewed

@@ -1,10 +1,10 @@
 Metadata-Version: 2.4
 Name: combinatory-synthesizer
-Version: 0.0.1.dev2
+Version: 0.0.1.dev24
 Summary: Type based synthesis framework using inhabitation in FCLP
-Project-URL: Documentation, https://github.com/Jekannadar/cosy#readme
-Project-URL: Issues, https://github.com/Jekannadar/cosy/issues
-Project-URL: Source, https://github.com/Jekannadar/cosy
+Project-URL: Documentation, https://tudo-seal.github.io/cosy/
+Project-URL: Issues, https://github.com/tudo-seal/cosy/issues
+Project-URL: Source, https://github.com/tudo-seal/cosy
 Author-email: Constantin Chaumet <constantin.chaumet@tu-dortmund.de>, Andrej Dudenhefner <andrej.dudenhefner@cs.tu-dortmund.de>, Felix Laarmann <felix.laarmann@tu-dortmund.de>, Christoph Stahl <christoph.stahl@tu-dortmund.de>
 License-Expression: Apache-2.0
 License-File: LICENSE.txt
@@ -31,7 +31,7 @@ Description-Content-Type: text/markdown
 | Package  | [![CI - Test](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/checks.yml?label=checks&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/checks.yml) [![CD - Release CoSy](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/release.yml?label=release&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/release.yml)                                                                                                             |
 | Docs     | [![Docs - Release](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/check-docs.yml?label=checks&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/check-docs.yml) [![Docs - Checks](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/deploy-docs.yml?label=deploy&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/deploy-docs.yml)                                                                                             |
 | Coverage | [![codecov](https://img.shields.io/codecov/c/github/tudo-seal/cosy?token=40E83ABJV4&logo=codecov&label=&labelColor=grey&style=flat-square)](https://codecov.io/github/tudo-seal/cosy)                                                                                                                                                                                                                                                                                                                                            |
-| Traits   | [![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg?style=flat-square)](https://hatch.pypa.io/latest/) [![Checked with mypy](https://img.shields.io/badge/endpoint?url=https://raw.githubusercontent.com/tudo-seal/cosy/main/docs/assets/badges/mypy.json&style=flat-square)](http://mypy-lang.org/) [![Checked with Ruff](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/astral-sh/ruff/main/assets/badge/v2.json&color=4051b5&style=flat-square)](https://github.com/astral-sh/ruff) |
+| Traits   | [![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg?style=flat-square)](https://hatch.pypa.io/latest/) [![Checked with mypy](https://img.shields.io/endpoint?url=https%3A%2F%2Fraw.githubusercontent.com%2Ftudo-seal%2Fcosy%2Fmain%2Fdocs%2Fassets%2Fbadges%2Fmypy.json&style=flat-square)](http://mypy-lang.org/) [![Checked with Ruff](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/astral-sh/ruff/main/assets/badge/v2.json&color=4051b5&style=flat-square)](https://github.com/astral-sh/ruff) |
 </div>
@@ -69,7 +69,15 @@ Examples currently all employ the `Maestro`.
 Installation is as simple as running:
 ```console
-pip install combinatory-synthesizer
+pip install --pre combinatory-synthesizer
+```
+Since `CoSy` is still in pre-release state, `PyPi` distributions are likely to be outdated most of the time.
+If you want to stay up to date with a nightly build:
+```console
+pip install https://github.com/tudo-seal/cosy/releases/download/nightly/combinatory_synthesizer-nightly.tar.gz
 ```
 `CoSy` itself has no dependencies at all, so it will play nice with any pre-existing projects.

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/README.md RENAMED Viewed

@@ -11,7 +11,7 @@
 | Package  | [![CI - Test](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/checks.yml?label=checks&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/checks.yml) [![CD - Release CoSy](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/release.yml?label=release&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/release.yml)                                                                                                             |
 | Docs     | [![Docs - Release](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/check-docs.yml?label=checks&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/check-docs.yml) [![Docs - Checks](https://img.shields.io/github/actions/workflow/status/tudo-seal/cosy/deploy-docs.yml?label=deploy&style=flat-square)](https://github.com/tudo-seal/cosy/actions/workflows/deploy-docs.yml)                                                                                             |
 | Coverage | [![codecov](https://img.shields.io/codecov/c/github/tudo-seal/cosy?token=40E83ABJV4&logo=codecov&label=&labelColor=grey&style=flat-square)](https://codecov.io/github/tudo-seal/cosy)                                                                                                                                                                                                                                                                                                                                            |
-| Traits   | [![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg?style=flat-square)](https://hatch.pypa.io/latest/) [![Checked with mypy](https://img.shields.io/badge/endpoint?url=https://raw.githubusercontent.com/tudo-seal/cosy/main/docs/assets/badges/mypy.json&style=flat-square)](http://mypy-lang.org/) [![Checked with Ruff](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/astral-sh/ruff/main/assets/badge/v2.json&color=4051b5&style=flat-square)](https://github.com/astral-sh/ruff) |
+| Traits   | [![Hatch project](https://img.shields.io/badge/%F0%9F%A5%9A-Hatch-4051b5.svg?style=flat-square)](https://hatch.pypa.io/latest/) [![Checked with mypy](https://img.shields.io/endpoint?url=https%3A%2F%2Fraw.githubusercontent.com%2Ftudo-seal%2Fcosy%2Fmain%2Fdocs%2Fassets%2Fbadges%2Fmypy.json&style=flat-square)](http://mypy-lang.org/) [![Checked with Ruff](https://img.shields.io/endpoint?url=https://raw.githubusercontent.com/astral-sh/ruff/main/assets/badge/v2.json&color=4051b5&style=flat-square)](https://github.com/astral-sh/ruff) |
 </div>
@@ -49,7 +49,15 @@ Examples currently all employ the `Maestro`.
 Installation is as simple as running:
 ```console
-pip install combinatory-synthesizer
+pip install --pre combinatory-synthesizer
+```
+Since `CoSy` is still in pre-release state, `PyPi` distributions are likely to be outdated most of the time.
+If you want to stay up to date with a nightly build:
+```console
+pip install https://github.com/tudo-seal/cosy/releases/download/nightly/combinatory_synthesizer-nightly.tar.gz
 ```
 `CoSy` itself has no dependencies at all, so it will play nice with any pre-existing projects.

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/benchmarks/test_benchmark_maximal_elements.py RENAMED Viewed

@@ -3,7 +3,8 @@
 from random import Random
 import pytest
-from cosy.combinatorics import maximal_elements
+from cosy.core.combinatorics import maximal_elements
 @pytest.fixture

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/benchmarks/test_benchmark_maze.py RENAMED Viewed

@@ -2,9 +2,10 @@ from collections.abc import Callable, Mapping
 from itertools import product
 import pytest
-from cosy.specification_builder import SpecificationBuilder
-from cosy.synthesizer import Specification, Synthesizer
-from cosy.types import Constructor, DataGroup, Literal, Type, Var
+from cosy.core.specification_builder import SpecificationBuilder
+from cosy.core.synthesizer import Specification, Synthesizer
+from cosy.core.types import Constructor, DataGroup, Literal, Type, Var
 def is_free(pos: tuple[int, int]) -> bool:
@@ -16,12 +17,10 @@ def is_free(pos: tuple[int, int]) -> bool:
 @pytest.fixture
-def component_specifications() -> (
-    Mapping[
-        Callable[[tuple[int, int], tuple[int, int], str], str] | str,
-        Specification,
-    ]
-):
+def component_specifications() -> Mapping[
+    Callable[[tuple[int, int], tuple[int, int], str], str] | str,
+    Specification,
+]:
     def up(b: tuple[int, int], _a: tuple[int, int], p: str) -> str:
         return f"{p} => UP({b})"

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/benchmarks/test_benchmark_maze_contains.py RENAMED Viewed

@@ -1,9 +1,10 @@
 from collections.abc import Callable, Mapping
 import pytest
-from cosy.specification_builder import SpecificationBuilder
-from cosy.synthesizer import Specification, Synthesizer
-from cosy.types import Constructor, Group, Literal, Type, Var
+from cosy.core.specification_builder import SpecificationBuilder
+from cosy.core.synthesizer import Specification, Synthesizer
+from cosy.core.types import Constructor, Group, Literal, Type, Var
 def is_free(pos: tuple[int, int]) -> bool:
@@ -18,12 +19,10 @@ SIZE = 50
 @pytest.fixture
-def component_specifications() -> (
-    Mapping[
-        Callable[[tuple[int, int], tuple[int, int], str], str] | str,
-        Specification,
-    ]
-):
+def component_specifications() -> Mapping[
+    Callable[[tuple[int, int], tuple[int, int], str], str] | str,
+    Specification,
+]:
     def up(b: tuple[int, int], _a: tuple[int, int], p: str) -> str:
         return f"{p} => UP({b})"

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/benchmarks/test_benchmark_maze_loopfree.py RENAMED Viewed

@@ -2,10 +2,11 @@ from collections.abc import Callable, Iterable, Mapping
 from itertools import product
 import pytest
-from cosy.specification_builder import SpecificationBuilder
-from cosy.synthesizer import Specification, Synthesizer
-from cosy.tree import Tree
-from cosy.types import Constructor, DataGroup, Literal, Type, Var
+from cosy.core.specification_builder import SpecificationBuilder
+from cosy.core.synthesizer import Specification, Synthesizer
+from cosy.core.tree import Tree
+from cosy.core.types import Constructor, DataGroup, Literal, Type, Var
 def is_free(pos: tuple[int, int]) -> bool:
@@ -17,12 +18,10 @@ def is_free(pos: tuple[int, int]) -> bool:
 @pytest.fixture
-def component_specifications() -> (
-    Mapping[
-        Callable[[tuple[int, int], tuple[int, int], str], str] | str,
-        Specification,
-    ]
-):
+def component_specifications() -> Mapping[
+    Callable[[tuple[int, int], tuple[int, int], str], str] | str,
+    Specification,
+]:
     def up(b: tuple[int, int], _a: tuple[int, int], p: str) -> str:
         return f"{p} => UP({b})"

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/docs/features/constraints.md RENAMED Viewed

@@ -20,20 +20,20 @@ def one(s: str) -> str:
 ```
 These binary sequences are assigned names and specifications, forming a triple:
 ```
-(  #
+(
     "empty",
     empty,
     SpecificationBuilder()
     .suffix(Constructor("str")),
 ),
-(  #
+(
     "zero",
     zero,
     SpecificationBuilder()
     .argument("s", Constructor("str"))
     .suffix(Constructor("str")),
 ),
-(  #
+(
     "one",
     one,
     SpecificationBuilder()
@@ -56,7 +56,7 @@ def fin(_b: bool, s: str) -> str:
 ```
 with triple:
 ```
-(  #
+(
     "fin",
     fin,
     SpecificationBuilder()

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/docs/quick-start.md RENAMED Viewed

@@ -32,19 +32,19 @@ def fib_next(_z: int, _y: int, _x: int, f1 : int, f2: int) -> int:
     return f1 + f2
 named_components_with_specifications = [
-        (  #
+        (
             "fib_zero",
             fib_zero,
             SpecificationBuilder()
             .suffix(Constructor("fib") & Constructor("at", Literal(0))),
         ),
-        (  #
+        (
             "fib_one",
             fib_one,
             SpecificationBuilder()
             .suffix(Constructor("fib") & Constructor("at", Literal(1))),
         ),
-        (  #
+        (
             "fib_next",
             fib_next,
             SpecificationBuilder()

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/examples/example_constraints.py RENAMED Viewed

@@ -5,9 +5,9 @@ Demonstrates constraints in CoSy.
 import re
-from cosy import Maestro
-from cosy.specification_builder import SpecificationBuilder
-from cosy.types import Constructor, Group, Literal, Type, Var
+from cosy.core.specification_builder import SpecificationBuilder
+from cosy.core.types import Constructor, Group, Literal, Type, Var
+from cosy.maestro import Maestro
 def empty() -> str:
@@ -64,22 +64,22 @@ def main():
             pass
     named_components_with_specifications = [
-        (  #
+        (
             "empty",
             empty,
             SpecificationBuilder().suffix(Constructor("str")),
         ),
-        (  #
+        (
             "zero",
             zero,
             SpecificationBuilder().argument("s", Constructor("str")).suffix(Constructor("str")),
         ),
-        (  #
+        (
             "one",
             one,
             SpecificationBuilder().argument("s", Constructor("str")).suffix(Constructor("str")),
         ),
-        (  #
+        (
             "fin",
             fin,
             SpecificationBuilder()
@@ -96,8 +96,11 @@ def main():
     # Query for heavy strings
     target: Type = Constructor("matches", Literal("01+0"))
-    # Query the Maestro with the target and print results
-    for result in maestro.query(target):
+    # Query the Maestro with the target, then visualize and print results
+    results = maestro.query(target)
+    results.visualize(amount=3)
+    print("Now printing all infinite results in order:")
+    for result in results:
         print(result)

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/examples/example_constraints_inline.py RENAMED Viewed

@@ -5,9 +5,9 @@ Demonstrates constraints in CoSy, highlighting how the Component class can be us
 import re
-from cosy import Maestro
-from cosy.specification_builder import SpecificationBuilder
-from cosy.types import Constructor, Group, Literal, Type, Var
+from cosy.core.specification_builder import SpecificationBuilder
+from cosy.core.types import Constructor, Group, Literal, Type, Var
+from cosy.maestro import Maestro
 def main():
@@ -22,22 +22,22 @@ def main():
             pass
     named_components_with_specifications = [
-        (  #
+        (
             "empty",
             lambda: "",
             SpecificationBuilder().suffix(Constructor("str")),
         ),
-        (  #
+        (
             "zero",
             lambda s: s + "0",
             SpecificationBuilder().argument("s", Constructor("str")).suffix(Constructor("str")),
         ),
-        (  #
+        (
             "one",
             lambda s: s + "1",
             SpecificationBuilder().argument("s", Constructor("str")).suffix(Constructor("str")),
         ),
-        (  #
+        (
             "fin",
             lambda _, s: s,
             SpecificationBuilder()
@@ -54,8 +54,11 @@ def main():
     # Query for heavy strings
     target: Type = Constructor("matches", Literal("01+0"))
-    # Query the Maestro with the target and print results
-    for result in maestro.query(target):
+    # Query the Maestro with the target, then visualize and print results
+    results = maestro.query(target)
+    results.visualize(amount=3)
+    print("Now printing all infinite results in order:")
+    for result in results:
         print(result)

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/examples/example_fibonacci.py RENAMED Viewed

@@ -3,9 +3,9 @@
 Overall description of this example goes here.
 """
-from cosy import Maestro
-from cosy.specification_builder import SpecificationBuilder
-from cosy.types import Constructor, DataGroup, Literal, Type, Var
+from cosy.core.specification_builder import SpecificationBuilder
+from cosy.core.types import Constructor, DataGroup, Literal, Type, Var
+from cosy.maestro import Maestro
 def fib_zero() -> int:
@@ -46,17 +46,17 @@ def main():
     bound = 20
     named_components_with_specifications = [
-        (  #
+        (
             "fib_zero",
             fib_zero,
             SpecificationBuilder().suffix(Constructor("fib") & Constructor("at", Literal(0))),
         ),
-        (  #
+        (
             "fib_one",
             fib_one,
             SpecificationBuilder().suffix(Constructor("fib") & Constructor("at", Literal(1))),
         ),
-        (  #
+        (
             "fib_next",
             fib_next,
             SpecificationBuilder()
@@ -75,9 +75,11 @@ def main():
     # Target describing Fibonacci numbers at relevant indices
     target: Type = Constructor("fib")
-    # Query the Maestro with the target and print the compositions
-    for result in maestro.query(target):
+    # Query the Maestro with the target, then visualize and print results
+    results = maestro.query(target)
+    for result in results:
         print(result)
+    results.visualize()
     for i in range(20):
         # Target for Fibonacci numbers at index i

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/examples/example_fibonacci_linear.py RENAMED Viewed

@@ -3,9 +3,9 @@
 Overall description of this example goes here.
 """
-from cosy import Maestro
-from cosy.specification_builder import SpecificationBuilder
-from cosy.types import Constructor, Group, Literal, Var
+from cosy.core.specification_builder import SpecificationBuilder
+from cosy.core.types import Constructor, Group, Literal, Var
+from cosy.maestro import Maestro
 def fst(_x: int, f: tuple[int, int]) -> int:
@@ -53,7 +53,7 @@ def main():
             yield from frozenset(range(self._bound))
     component_specifications = [
-        (  #
+        (
             "fst",
             fst,
             SpecificationBuilder()
@@ -61,12 +61,12 @@ def main():
             .argument("f", Constructor("fibs") & Constructor("at", Var("x")))
             .suffix(Constructor("fib") & Constructor("at", Var("x"))),
         ),
-        (  #
+        (
             "fib_zero_one",
             fib_zero_one,
             SpecificationBuilder().suffix(Constructor("fibs") & Constructor("at", Literal(0))),
         ),
-        (  #
+        (
             "fib_next",
             fib_next,
             SpecificationBuilder()
@@ -84,7 +84,10 @@ def main():
     target = Constructor("fib") & Constructor("at", Literal(5000))
     # Query the Maestro with the target and print the only composition
-    print("5000th Fibonacci number:", next(iter(maestro.query(target))))
+    results = maestro.query(target)
+    print("5000th Fibonacci number:", next(iter(results)))
+    # Visualize that result
+    results.visualize()
 if __name__ == "__main__":

{combinatory_synthesizer-0.0.1.dev2 → combinatory_synthesizer-0.0.1.dev24}/pyproject.toml RENAMED Viewed

@@ -30,9 +30,9 @@ dependencies = []
 [project.urls]
-Documentation = "https://github.com/Jekannadar/cosy#readme"
-Issues = "https://github.com/Jekannadar/cosy/issues"
-Source = "https://github.com/Jekannadar/cosy"
+Documentation = "https://tudo-seal.github.io/cosy/"
+Issues = "https://github.com/tudo-seal/cosy/issues"
+Source = "https://github.com/tudo-seal/cosy"
 [tool.hatch.version]
@@ -41,6 +41,7 @@ source = "vcs"
 [tool.hatch.version.raw-options]
 local_scheme = "no-local-version"
+version_scheme = "guess-next-dev"
 [tool.hatch.build.hooks.vcs]
@@ -97,3 +98,8 @@ exclude_lines = [
   "FBT",
 ]
+[tool.setuptools.packages.find]
+where = ["src"]
+[tool.setuptools.package-data]
+cosy.extensions.visualization = ["*"]

combinatory-synthesizer 0.0.1.dev2__tar.gz → 0.0.1.dev24__tar.gz

combinatory-synthesizer 0.0.1.dev2tar.gz → 0.0.1.dev24tar.gz