Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jan 12, 2023

• first commit for public release

  murumura

  committed
  23a8d97

  Copy full SHA for 23a8d97

Commits on Jan 11, 2023

• todo:fix c_vars order issue

  murumura

  committed
  9454ed5

  Copy full SHA for 9454ed5

Commits on Jan 5, 2023

• typo

  murumura

  committed
  73cad25

  Copy full SHA for 73cad25

Commits on Jan 1, 2023

• fix typo

  murumura

  committed
  ec5781d

  Copy full SHA for ec5781d

Commits on Dec 20, 2022

• finish

  murumura

  committed
  33a96d4

  Copy full SHA for 33a96d4

Commits on Dec 19, 2022

• setup colab & enrich README

  murumura

  committed
  14a73ae

  Copy full SHA for 14a73ae

• todo:upload to colab

  murumura

  committed
  3729519

  Copy full SHA for 3729519

• debug

  murumura

  committed
  d9fd4d7

  Copy full SHA for d9fd4d7

Commits on Dec 17, 2022

• finish QC with sat problem

  murumura

  committed
  374daf6

  Copy full SHA for 374daf6

Commits on Dec 9, 2022

• remove dimacs parsing bug & DimacsVerifier parsing bug

  murumura

  committed
  3ec1332

  Copy full SHA for 3ec1332

• finish sudoku/latin square problem solving for z3 sat/smt solver

  

  steven

  authored and

  steven

  committed
  6c36db0

  Copy full SHA for 6c36db0

Commits on Nov 24, 2022

• finish sat/sudoku solver

  

  steven

  authored and

  steven

  committed
  88197cc

  Copy full SHA for 88197cc

Commits on Nov 15, 2022

• dockerfile for m1

  murumura

  committed
  d3316e8

  Copy full SHA for d3316e8

Commits on Nov 11, 2022

• Initial commit

  murumura

  authored
  cd38cec

  Copy full SHA for cd38cec