update docs

Author: GiggleLiu

docs/src/ref.md

@@ -61,6 +61,10 @@ ConfigsMin
 ```
 
 ## Element Algebras
+```@docs
+is_commutative_semiring
+```
+
 ```@docs
 TropicalNumbers.Tropical
 TropicalNumbers.CountingTropical
@@ -80,7 +84,6 @@ save_configs
 load_configs
 @bv_str
 onehotv
-is_commutative_semiring
 ```
 
 ## Tensor Network
@@ -116,13 +119,8 @@ random_square_lattice_graph
 
 One can also use `random_regular_graph` and `smallgraph` in [Graphs](https://github.com/JuliaGraphs/Graphs.jl) to build special graphs.
 
-#### Lower level APIs
+#### Shortcuts
 ```@docs
-best_solutions
-best2_solutions
-solutions
-all_solutions
-graph_polynomial
 max_size
 max_size_count
-```
+```

src/interfaces.jl

@@ -202,12 +202,14 @@ Positional Arguments
     * [`SizeMax`](@ref) for finding maximum set size,
     * [`SizeMin`](@ref) for finding minimum set size,
 
-    * [`CountingMax`](@ref) for counting configurations with top `K` sizes,
+    * [`CountingMax`](@ref) for counting configurations with largest-K sizes,
+    * [`CountingMin`](@ref) for counting configurations with smallest-K sizes,
     * [`CountingAll`](@ref) for counting all configurations,
     * [`GraphPolynomial`](@ref) for evaluating the graph polynomial,
 
     * [`SingleConfigMax`](@ref) for finding one maximum configuration,
-    * [`ConfigsMax`](@ref) for enumerating configurations with top `K` sizes,
+    * [`ConfigsMax`](@ref) for enumerating configurations with largest-K sizes,
+    * [`ConfigsMin`](@ref) for enumerating configurations with smallest-K sizes,
     * [`ConfigsAll`](@ref) for enumerating all configurations,
 
 
@@ -383,4 +385,4 @@ end
 
 # convert to Matrix
 Base.Matrix(ce::ConfigEnumerator) = plain_matrix(ce)
-Base.Vector(ce::StaticElementVector) = collect(ce)
+Base.Vector(ce::StaticElementVector) = collect(ce)