Repository navigation

material-train-native: expose libcvc#596's sampled L_multi starts; fix the native-parity docstrings - #115

Merged

transfix merged 1 commit into

mainfrom

feat/native-multistart-sampling

Oct 14, 2026

Merged

material-train-native: expose libcvc#596's sampled L_multi starts; fix the native-parity docstrings#115
transfix merged 1 commit into
mainfrom
feat/native-multistart-sampling

Commits on Oct 12, 2026
- material-train-native: expose libcvc#596's sampled L_multi starts; fix the native-parity docstrings
  transfix
  committed
  120d4de