13 search results for "tag:"logic""

Showing 1 - 13
  1. 1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  2. 0.9
    BSD-2-Clause
    Used by 7 other packages
    06 Jul 2023
  3. 0.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  4. 0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023
  5. 0.9
    BSD-2-Clause
    Used by 0 other packages
    06 Jul 2023
  6. 0.9
    BSD-2-Clause
    Used by 1 other packages
    06 Jul 2023
  7. 0.9
    BSD-2-Clause
    Used by 4 other packages
    06 Jul 2023
  8. 2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  9. 2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  10. Experimental model finder/SMT solver for functional programming
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  11. 0.4
    BSD-2-Clause
    Used by 0 other packages
    28 Jun 2022
  12. Parser for https://tip-org.github.io/format.html
    0.6
    Used by 1 other packages
    09 Feb 2019
  13. 2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021