Skip to content
@opensat

OpenSAT

README.md

Let's make SAT solving better together!đź‘‹

Pinned Loading

  1. SATLLL SATLLL Public

    Jupyter Notebook 1 1

  2. literal2vec literal2vec Public

    A Python implement of word2vec in SAT instance to get literal embedding.

    Jupyter Notebook 1

Repositories

Showing 4 of 4 repositories
  • SATLLL Public
    opensat/SATLLL’s past year of commit activity
    Jupyter Notebook 1 MIT 1 0 0 Updated Mar 6, 2023
  • literal2vec Public

    A Python implement of word2vec in SAT instance to get literal embedding.

    opensat/literal2vec’s past year of commit activity
    Jupyter Notebook 1 0 0 0 Updated Dec 31, 2022
  • .github Public
    opensat/.github’s past year of commit activity
    0 0 0 0 Updated Oct 19, 2022
  • LovaszSAT Public

    A naive implementation of Algorithmic Lovász local lemma.

    opensat/LovaszSAT’s past year of commit activity
    Python 2 0 0 0 Updated Aug 19, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…