pythological/unification issues and pull requests

#44 - Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#43 - removed `toolz`, potential bugfixes, perfomance improvements, and more

Pull Request - State: open - Opened by jorenham about 1 year ago - 2 comments

#42 - why doesn't dict key unify?

Issue - State: open - Opened by majidaldo about 1 year ago - 1 comment
Labels: enhancement, help wanted

#41 - install_requires in setup.py is different from requirements.txt

Issue - State: closed - Opened by yurivict over 1 year ago - 1 comment

#40 - Update pip package to latest code

Issue - State: closed - Opened by jrabinow almost 2 years ago - 2 comments

#39 - Consider replacing `utils._toposort` with the Python std. lib. `TopologicalSorter`

Issue - State: open - Opened by majidaldo about 2 years ago - 1 comment
Labels: enhancement, question

#38 - The following code lead to an infinite loop

Issue - State: closed - Opened by odats over 2 years ago - 2 comments
Labels: question

#37 - Recover "irreducible unsatisfiable set" of equations

Issue - State: closed - Opened by frabert over 2 years ago - 3 comments
Labels: question

#36 - Add "occurs-check" functionality

Issue - State: open - Opened by rlouf over 2 years ago - 2 comments
Labels: bug, enhancement, help wanted, important

#35 - Add `reify` to README

Pull Request - State: closed - Opened by brandonwillard over 2 years ago
Labels: documentation

#34 - Mention the `reify` function in the README

Pull Request - State: closed - Opened by brandonwillard over 2 years ago
Labels: documentation

#33 - Substituting variables in unified expressions

Issue - State: closed - Opened by jarble over 2 years ago - 4 comments
Labels: question

#32 - Typo in pattern matching example.

Issue - State: open - Opened by zoj613 over 2 years ago
Labels: bug, documentation, help wanted, good first issue

#31 - Add dict and namedtuple examples in README

Pull Request - State: closed - Opened by rlouf over 2 years ago
Labels: documentation

#30 - Add more examples with basic data structures

Issue - State: closed - Opened by rlouf over 2 years ago

#29 - `NamedTuple`s reify into `tuple`s

Issue - State: open - Opened by rlouf over 2 years ago - 3 comments
Labels: enhancement, help wanted

#28 - Unification does not work with dataclasses by default

Issue - State: closed - Opened by rlouf over 2 years ago - 1 comment
Labels: question

#27 - Updates versioneer for Python 3.11 and updated supported versions and…

Pull Request - State: closed - Opened by oscargus about 3 years ago

#26 - how to not unify with None?

Issue - State: closed - Opened by majidaldo almost 4 years ago - 3 comments
Labels: question

#25 - Add stream vs. stack benchmarks to README

Pull Request - State: closed - Opened by brandonwillard about 4 years ago
Labels: documentation

#24 - Add a PyPi workflow

Pull Request - State: closed - Opened by brandonwillard about 4 years ago
Labels: important

#23 - Use GitHub Actions

Pull Request - State: closed - Opened by brandonwillard about 4 years ago
Labels: important

#22 - Reify object based on base type

Pull Request - State: closed - Opened by AlexanderGrooff about 4 years ago - 4 comments

#21 - Consider implementing Knuth-Bendix Completion

Issue - State: open - Opened by brandonwillard almost 5 years ago
Labels: enhancement, question

#20 - unification vs matching

Issue - State: closed - Opened by majidaldo almost 5 years ago - 5 comments

#19 - Error on duplicate pattern

Issue - State: closed - Opened by majidaldo almost 5 years ago - 1 comment
Labels: question

#18 - Remove variables context manager functionality

Issue - State: open - Opened by brandonwillard almost 5 years ago
Labels: enhancement

#17 - Make assoc a generic function

Pull Request - State: closed - Opened by brandonwillard almost 5 years ago
Labels: enhancement

#16 - Introduce stream/trampoline-based reification and unification

Pull Request - State: closed - Opened by brandonwillard almost 5 years ago - 1 comment
Labels: enhancement, important

#15 - Add recursion xfail test

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

#14 - Introduce a contracting association map

Pull Request - State: open - Opened by brandonwillard about 5 years ago
Labels: enhancement

#13 - Recursion Errors

Issue - State: closed - Opened by brandonwillard about 5 years ago
Labels: bug

#12 - Fix PyPi package name in README

Pull Request - State: closed - Opened by brandonwillard about 5 years ago
Labels: documentation

#11 - Fix isground for iterator types

Pull Request - State: closed - Opened by brandonwillard about 5 years ago
Labels: bug

#10 - Consider basing unification and reification on walk

Issue - State: closed - Opened by brandonwillard about 5 years ago - 3 comments
Labels: enhancement, question, important

#9 - Introduce a short-circuiting "is ground" predicate

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

#8 - Fix isinstance check for subclasses

Pull Request - State: closed - Opened by brandonwillard about 5 years ago
Labels: bug

#7 - Clean up and add extras

Pull Request - State: closed - Opened by brandonwillard about 5 years ago
Labels: important

#6 - Update license and add a funding option

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

#5 - Update requirements and versioning

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

#4 - Refactor logic variable class

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

#3 - Improve type dispatching

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

#2 - Make Var creation a token-based singleton factory

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

#1 - Update Python versions, tests, and project setup

Pull Request - State: closed - Opened by brandonwillard about 5 years ago

GitHub / pythological/unification issues and pull requests