Skip to content

@ipasir2 IPASIR 2 Workgroup

Change the repository type filter

All

    Repositories list

    7 repositories

    • ipasir2

      Public
      IPASIR 2 Specification and Discussion
      C++
      •0•7•7•0•Updated Dec 18, 2024Dec 18, 2024

    • ipasir2_solver_cryptominisat

      Public
      An advanced SAT solver
      C++
      •
      Other
      •202•1•0•0•Updated Sep 2, 2024Sep 2, 2024

    • ipasir2_solver_cadical

      Public
      CaDiCaL SAT Solver with IPASIR 2 Support
      C++
      •
      MIT License
      •181•1•0•0•Updated Sep 2, 2024Sep 2, 2024

    • ipasir2_solver_minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •419•0•0•0•Updated Sep 2, 2024Sep 2, 2024

    • ipasir2-cpp

      Public
      C++ Bindings for IPASIR 2
      C++
      •
      MIT License
      •0•2•0•0•Updated Apr 14, 2024Apr 14, 2024

    • ipasir2_solver_lingeling

      Public
      Lingeling SAT Solver IPASIR2 Prototype
      C
      •
      MIT License
      •30•0•0•0•Updated Apr 13, 2024Apr 13, 2024

    • .github

      Public
      1•0•0•0•Updated Aug 8, 2023Aug 8, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.