Skip to content

@vardigroup Vardi's Group

Change the repository type filter

All

    Repositories list

    7 repositories

    • GradSAT

      Public
      C
      •
      MIT License
      •0•4•0•0•Updated Sep 28, 2024Sep 28, 2024

    • FourierSAT

      Public
      A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
      xorcardinality-constraintshybrid-boolean-constraints
      Python
      •
      MIT License
      •0•12•0•0•Updated Sep 18, 2024Sep 18, 2024

    • DPMC

      Public
      DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting
      C++
      •
      MIT License
      •3•4•0•0•Updated Aug 15, 2024Aug 15, 2024

    • ADDMC

      Public
      An exact weighted model counter based on algebraic decision diagrams
      C++
      •
      MIT License
      •2•10•0•0•Updated Jul 1, 2024Jul 1, 2024

    • Ising

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Feb 21, 2024Feb 21, 2024

    • TensorOrder

      Public
      A tool for weighted model counting through tensor network contraction
      Python
      •
      MIT License
      •2•20•0•0•Updated Nov 13, 2021Nov 13, 2021

    • lisa

      Public
      Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space representation.
      C++
      •
      GNU General Public License v3.0
      •4•12•1•0•Updated Sep 27, 2021Sep 27, 2021