Skip to content

module tuner

solverpy_learn.setups.tuner

cvc5ml(setup: Setup, tuneargs: dict[str, Any] | None = None) -> Setup

Configure setup with a Cvc5ML builder.

Source code in packages/solverpy-learn/src/solverpy_learn/setups/tuner.py 
46
47
48
49
50
51
52
def cvc5ml(
   setup: Setup,
   tuneargs: (dict[str, Any] | None) = None,
) -> Setup:
   """Configure `setup` with a [`Cvc5ML`][solverpy_learn.builder.cvc5ml.Cvc5ML] builder."""
   defaultweight(setup, tuneargs)
   return autotuner(Cvc5ML, setup, tuneargs)

enigma(setup: Setup, tunesel: dict[str, Any] | None = None, tunegen: dict[str, Any] | None = None) -> Setup

Configure setup with an Enigma builder.

Source code in packages/solverpy-learn/src/solverpy_learn/setups/tuner.py 
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
def enigma(
   setup: Setup,
   tunesel: (dict[str, Any] | None) = None,
   tunegen: (dict[str, Any] | None) = None,
) -> Setup:
   """Configure `setup` with an [`Enigma`][solverpy_learn.builder.enigma.Enigma] builder."""
   default(setup, "templates", None)
   defaultweight(setup, tunesel)
   defaultweight(setup, tunegen)
   assert "templates" in setup
   return autotuner(
      Enigma,
      setup,
      tunesel,
      tunegen,
      templates=setup["templates"],
   )