Skip to content

@opensat OpenSAT

Change the repository type filter

All

    Repositories list

    4 repositories

    • SATLLL

      Public
      Jupyter Notebook
      •
      MIT License
      •1•1•0•0•Updated Mar 6, 2023Mar 6, 2023

    • literal2vec

      Public
      A Python implement of word2vec in SAT instance to get literal embedding.
      Jupyter Notebook
      •0•1•0•0•Updated Dec 31, 2022Dec 31, 2022

    • .github

      Public
      0•0•0•0•Updated Oct 19, 2022Oct 19, 2022

    • LovaszSAT

      Public
      A naive implementation of Algorithmic Lovász local lemma.
      sat-solversatisfiability
      Python
      •0•2•0•0•Updated Aug 19, 2022Aug 19, 2022