Issues

• Improvement in the interaction between occur check and the AC solver

  Drup/dowsing#31 · Filter by author FardaleM opened on Dec 17, 2024

• Possible improvement

  Drup/dowsing#30 · Filter by author FardaleM opened on Aug 30, 2024

• Benchmarking

  Drup/dowsing#20 · Filter by author FardaleM opened on Nov 28, 2023

• The normal form is not robust. Substitution breaks an invariant of the normal form.

  Drup/dowsing#19 · Filter by author FardaleM opened on Nov 28, 2023

• Add test to the AC-unification and Curry-unification procedure

  Drup/dowsing#18 · Filter by author FardaleM opened on Nov 28, 2023

• Protect unmarshalling with a magic number.

  Drup/dowsing#17 · Filter by author FardaleM opened on Nov 28, 2023

• Investigate performances of unification

  Drup/dowsing#9 · Filter by author Drup opened on Apr 20, 2021

• Défaillance de l'axiome (Ass-0)

  Drup/dowsing#8 · Filter by author clef-men opened on Apr 20, 2021

• Refine unifiers

  Drup/dowsing#4 · Filter by author Drup opened on Apr 1, 2021

• TODO List

  Drup/dowsing#3 · Filter by author Drup opened on Jan 20, 2021
  1