Code

Development#61

Code

Merged

chrjabs merged 8 commits intomainchrjabs/rustsat:mainfrom developchrjabs/rustsat:developCopy head branch name to clipboardFeb 13, 2024

+135-51

Commits

Commits on Feb 12, 2024

• feat: internal from_raw methods for db totalizers

  chrjabs

  committed
  21b9b5c

  Copy full SHA for 21b9b5c

• feat: thorough merge stragey for NodeById

  chrjabs

  committed
  f498344

  Copy full SHA for f498344

• fix: remove weight_sum field from DbGte

  chrjabs

  committed
  4d867d2

  Copy full SHA for 4d867d2

• feat: make opb defaults more like pbo competition specs

  chrjabs

  committed
  5c43631

  Copy full SHA for 5c43631

• clippy

  chrjabs

  committed
  4c84db4

  Copy full SHA for 4c84db4

• fix: opb tests

  chrjabs

  committed
  f8319a5

  Copy full SHA for f8319a5

• feat: output opbs with #variable line

  chrjabs

  committed
  6bfeb55

  Copy full SHA for 6bfeb55

Commits on Feb 13, 2024

• fix: incorrect feature requirements

  chrjabs

  committed
  abbb49a

  Copy full SHA for abbb49a