Code

Extend Python API#211

Code

Merged

chrjabs merged 9 commits intomainchrjabs/rustsat:mainfrom extend-pyapichrjabs/rustsat:extend-pyapiCopy head branch name to clipboardDec 20, 2024

+640-321

Commits

Commits on Dec 19, 2024

• fix(pyapi): confusing parameter names

  chrjabs

  committed
  3926ec6

  Copy full SHA for 3926ec6

Commits on Dec 20, 2024

• feat(pyapi): include BinaryAdder encoding

  chrjabs

  committed
  a0e8dd4

  Copy full SHA for a0e8dd4

• feat(pyapi): restructure python API

  chrjabs

  committed
  6166100

  Copy full SHA for 6166100

• doc(pyapi): include type annotations

  chrjabs

  committed
  ed44c62

  Copy full SHA for ed44c62

• chore(pyapi): format python example

  chrjabs

  committed
  826a0d9

  Copy full SHA for 826a0d9

• fix(pyapi): extend stubs to properly include submodules

  chrjabs

  committed
  3e44243

  Copy full SHA for 3e44243

• refactor(pyapi): simplify pyapi with macros

  chrjabs

  committed
  5bbb88e

  Copy full SHA for 5bbb88e

• feat(pyapi): include at-most-one encodings

  chrjabs

  committed
  77d329b

  Copy full SHA for 77d329b

• doc(pyapi): omit "show source" button

  chrjabs

  committed
  70190fe

  Copy full SHA for 70190fe