Code

Implemented an interface to BatSat#84

Code

Closed

nfbruns wants to merge 27 commits intochrjabs:next-majorchrjabs/rustsat:next-majorfrom nfbruns:feat-batsat-solvernfbruns/rustsat:feat-batsat-solverCopy head branch name to clipboard

+222-2

Commits

Commits on Apr 10, 2024

• feat:implemented batsat api

  nfbruns

  committed
  5b78bd2

  Copy full SHA for 5b78bd2

• docs: changelog and readme added

  nfbruns

  committed
  b8326be

  Copy full SHA for b8326be

• ci: running github workflows

  nfbruns

  committed
  ae01e17

  Copy full SHA for ae01e17

• docs: fixed comments

  nfbruns

  committed
  4b58cc8

  Copy full SHA for 4b58cc8

• fix: return of ok if clause not added

  nfbruns

  committed
  46b2c27

  Copy full SHA for 46b2c27

• test: cleanup and renaming

  nfbruns

  committed
  31d7e1c

  Copy full SHA for 31d7e1c

Commits on Jun 14, 2024

• Merge branch 'main' into feat-batsat-solver

  nfbruns

  authored
  cf6dd71

  Copy full SHA for cf6dd71

• compatability to 0.5.1 and solvertests implemented

  nfbruns

  committed
  1e6aa6b

  Copy full SHA for 1e6aa6b

Commits on Jun 26, 2024

• feat:implemented batsat api

  nfbruns

  committed
  9f59fdd

  Copy full SHA for 9f59fdd

• docs: changelog and readme added

  nfbruns

  committed
  2ccc905

  Copy full SHA for 2ccc905

• ci: running github workflows

  nfbruns

  committed
  4acddcd

  Copy full SHA for 4acddcd

• docs: fixed comments

  nfbruns

  committed
  a0e84a1

  Copy full SHA for a0e84a1

• fix: return of ok if clause not added

  nfbruns

  committed
  8ecd6ad

  Copy full SHA for 8ecd6ad

• test: cleanup and renaming

  nfbruns

  committed
  ed21c4f

  Copy full SHA for ed21c4f

• compatability to 0.5.1 and solvertests implemented

  nfbruns

  committed
  4649148

  Copy full SHA for 4649148

• Merge branch 'feat-batsat-solver' of github.com:nfbruns/rustsat into feat-batsat-solver

  nfbruns

  committed
  707e207

  Copy full SHA for 707e207

• fix: use workspace dependencies

  nfbruns

  committed
  727e42c

  Copy full SHA for 727e42c

• fix: clippy linting issues addressed

  nfbruns

  committed
  1544980

  Copy full SHA for 1544980

Commits on Jul 1, 2024

• PR: implemented suggestions and applied reviews

  nfbruns

  committed
  fcfa9df

  Copy full SHA for fcfa9df

• lint: clippy fixes and docu

  nfbruns

  committed
  a1e4498

  Copy full SHA for a1e4498

• docu: cargo rdme run

  nfbruns

  committed
  a549dda

  Copy full SHA for a549dda

• docu: more comments and restructuring

  nfbruns

  committed
  0aeac45

  Copy full SHA for 0aeac45

Commits on Jul 3, 2024

• ci: run cargo rdme after comments changed

  nfbruns

  committed
  e0a9cd2

  Copy full SHA for e0a9cd2

Commits on Jul 4, 2024

• docu: remove code blocks for names

  Show description for 3a3bd46
  

  nfbruns

  and

  chrjabs

  authored
  3a3bd46

  Copy full SHA for 3a3bd46

• ci: run cargo rdme

  nfbruns

  committed
  80db5aa

  Copy full SHA for 80db5aa

• lint: Batsat added as valid ident

  nfbruns

  committed
  adbe43e

  Copy full SHA for adbe43e

• refactor: reorder clippy valid idents list

  Show description for 25bea4d
  

  nfbruns

  and

  chrjabs

  authored
  25bea4d

  Copy full SHA for 25bea4d