Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 15, 2024

• added jss examples

  alpavlenko

  committed
  fb07ef2

  Copy full SHA for fb07ef2

Commits on Jan 10, 2024

• fixes combine_t imports

  alpavlenko

  committed
  3366650

  Copy full SHA for 3366650

• fixed ellipsis typing

  alpavlenko

  committed
  4e5d137

  Copy full SHA for 4e5d137

• added new examples, added new encodings, made clean up

  alpavlenko

  committed
  988a6c5

  Copy full SHA for 988a6c5

Commits on Dec 27, 2023

• fixed combine solver

  alpavlenko

  committed
  2f45247

  Copy full SHA for 2f45247

• added partition space, divide function, updated combine solver

  alpavlenko

  committed
  3623ced

  Copy full SHA for 3623ced

Commits on Dec 7, 2023

• refactored lib_satprob module, updated solving algorithm

  alpavlenko

  committed
  789bc62

  Copy full SHA for 789bc62

• updated pysat solver wrapper, added solving algorithm

  alpavlenko

  committed
  68de1d6

  Copy full SHA for 68de1d6

Commits on Dec 5, 2023

• fix derived type checker

  alpavlenko

  committed
  6575d58

  Copy full SHA for 6575d58

• added encoding reader, and derived clause generator

  alpavlenko

  committed
  67c2e9d

  Copy full SHA for 67c2e9d

Commits on Nov 29, 2023

• added lec solve example

  alpavlenko

  committed
  4de2fbe

  Copy full SHA for 4de2fbe

• fix .readthedocs.yaml

  alpavlenko

  committed
  22f88b6

  Copy full SHA for 22f88b6

• fix .readthedocs.yaml

  alpavlenko

  committed
  3219a12

  Copy full SHA for 3219a12

• fix .readthedocs.yaml

  alpavlenko

  committed
  c21a1f8

  Copy full SHA for c21a1f8

• add .readthedocs.yaml

  alpavlenko

  committed
  d7452b6

  Copy full SHA for d7452b6

• Merge branch 'lib-feature'

  Show description for 78c2d2c
  alpavlenko

  committed
  78c2d2c

  Copy full SHA for 78c2d2c

• added rho subset func, fix README

  alpavlenko

  committed
  a021c5f

  Copy full SHA for a021c5f

• fix test script

  alpavlenko

  committed
  87bc423

  Copy full SHA for 87bc423

• fix test script permissions

  alpavlenko

  committed
  8da81c7

  Copy full SHA for 8da81c7

• updated functionality examples, fix requirements file

  alpavlenko

  committed
  50447ac

  Copy full SHA for 50447ac

Commits on Nov 28, 2023

• update documentation, rename problem module

  alpavlenko

  committed
  91a69ef

  Copy full SHA for 91a69ef

Commits on Nov 10, 2023

• update combine_t algorithm. some fixes

  alpavlenko

  committed
  d7fa96a

  Copy full SHA for d7fa96a

Commits on Sep 27, 2023

• updated tests, removed problem instance dependency from space module

  alpavlenko

  committed
  c2c293d

  Copy full SHA for c2c293d

Commits on Sep 25, 2023

• updated combine_t algorithm

  alpavlenko

  committed
  6dd4580

  Copy full SHA for 6dd4580

Commits on Sep 20, 2023

• partially updated unit tests

  alpavlenko

  committed
  2093c74

  Copy full SHA for 2093c74

• added formulas core precheck to solver using unit propagation, fix gad sampling generation

  alpavlenko

  committed
  1fc8380

  Copy full SHA for 1fc8380

Commits on Sep 14, 2023

• connect 'pysatmc' subcomponent to other evoguess modules, update requirements

  alpavlenko

  committed
  bde91b6

  Copy full SHA for bde91b6

Commits on Sep 8, 2023

• SAT logic has been separated (variables, encoding, solver and instance modules) into new 'pysatmc' subcomponent and implemented its functionality

  alpavlenko

  committed
  8a15f72

  Copy full SHA for 8a15f72

Commits on Aug 29, 2023

• updated encoding interface, added maxSAT solver

  alpavlenko

  committed
  0a41195

  Copy full SHA for 0a41195

Commits on May 23, 2023

• try to fix header in source encoding

  alpavlenko

  committed
  f0cb463

  Copy full SHA for f0cb463

• added source encoding

  alpavlenko

  committed
  9e4f125

  Copy full SHA for 9e4f125

• added minisatCS wrapper

  alpavlenko

  committed
  8b30802

  Copy full SHA for 8b30802

• separate budget logic to module, update function typings, fix intervals, update tests

  alpavlenko

  committed
  e3e5e45

  Copy full SHA for e3e5e45

Commits on May 3, 2023

• Merge branch 'solver-feature' into backdoor-feature

  alpavlenko

  committed
  391cdfb

  Copy full SHA for 391cdfb

• fix tests

  alpavlenko

  committed
  80552a7

  Copy full SHA for 80552a7

Pagination

Previous

Next