Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jul 7, 2024

• fix build backend

  hellman

  committed
  b39d3a3

  Copy full SHA for b39d3a3

Commits on Jul 3, 2024

• pyproject

  hellman

  committed
  f2a2d4b

  Copy full SHA for f2a2d4b

Commits on Jul 1, 2024

• TimeStat edits

  hellman

  committed
  8e3e6e6

  Copy full SHA for 8e3e6e6

• improve TimeStat

  hellman

  committed
  d03e19d

  Copy full SHA for d03e19d

• do not set default solver

  hellman

  committed
  617d645

  Copy full SHA for 617d645

• remove duplicate

  hellman

  committed
  81eed88

  Copy full SHA for 81eed88

Commits on Nov 20, 2022

• fix rename across devices

  hellman

  committed
  4cd8a13

  Copy full SHA for 4cd8a13

Commits on Jul 20, 2022

• type error info

  hellman

  committed
  60206bc

  Copy full SHA for 60206bc

Commits on Jul 19, 2022

• time stat for LevelLearn

  hellman

  committed
  a38e1b4

  Copy full SHA for a38e1b4

• update time stat

  hellman

  committed
  0cd9776

  Copy full SHA for 0cd9776

• time stat

  hellman

  committed
  4ac4eba

  Copy full SHA for 4ac4eba

Commits on Jul 10, 2022

• update support computation (not just Bin)

  hellman

  committed
  a952ace

  Copy full SHA for a952ace

• json custom classes allow to set again

  hellman

  committed
  830d6da

  Copy full SHA for 830d6da

Commits on Jul 9, 2022

• fixes json custom classes, and set_complete

  hellman

  committed
  a302f32

  Copy full SHA for a302f32

Commits on Jul 7, 2022

• fix jsonish dump/load

  hellman

  committed
  105c601

  Copy full SHA for 105c601

• import Bin if necessary

  hellman

  committed
  fb84db7

  Copy full SHA for fb84db7

• json-like pickle for safety

  hellman

  committed
  1c21e39

  Copy full SHA for 1c21e39

• better system saving (bz2 and atomic write)

  hellman

  committed
  cec3b56

  Copy full SHA for cec3b56

Commits on Jul 6, 2022

• separate complete lower and upper

  hellman

  committed
  375719d

  Copy full SHA for 375719d

• migrate SparseSet

  hellman

  committed
  af02425

  Copy full SHA for af02425

Commits on Jul 21, 2021

• decoupling LSL oracle

  hellman

  committed
  a3ece88

  Copy full SHA for a3ece88

Commits on May 21, 2021

• GainanovSAT: start_level param

  hellman

  committed
  e85b81e

  Copy full SHA for e85b81e

Commits on May 17, 2021

• fixes for sense=max

  hellman

  committed
  568a5de

  Copy full SHA for 568a5de

• log n calls / queries

  hellman

  committed
  1c5050c

  Copy full SHA for 1c5050c

Commits on May 15, 2021

• test all senses

  hellman

  committed
  e4fb7e6

  Copy full SHA for e4fb7e6

• fix sense=None finish

  hellman

  committed
  9dd34e8

  Copy full SHA for 9dd34e8

• update to CNF.Card

  hellman

  committed
  c67db7e

  Copy full SHA for c67db7e

Commits on May 4, 2021

• update logging, tests

  hellman

  committed
  e7b3262

  Copy full SHA for e7b3262

Commits on May 1, 2021

• init

  

  hellman

  committed
  bc41baa

  Copy full SHA for bc41baa