fix documents

GiggleLiu · GiggleLiu · commit cb981c857ddd · 2024-12-08T15:57:48.000+08:00
diff --git a/docs/src/ref.md b/docs/src/ref.md
@@ -40,6 +40,8 @@ is_satisfied
 local_solution_spec
 solution_size
 energy_mode
+LargerSizeIsBetter
+SmallerSizeIsBetter
 energy
 
 is_independent_set
