12 search results for "tag:"automated theorem prover""

Showing 1 - 12
  1. 0.9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    21 May 2024
  2. 0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  3. 0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  4. 0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  5. 29.0
    LGPL-2.1-only
    Used by 5 other packages
    13 Jun 2024
  6. frama-c-base

    No documentation

    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  7. why

    No documentation

    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  8. 1.7.2
    LGPL-2.1-only
    Used by 9 other packages
    22 Apr 2024
  9. why3-base

    No documentation

    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  10. 1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  11. 1.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  12. 0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024