Skip to content

Commit

Permalink
Fixed link
Browse files Browse the repository at this point in the history
  • Loading branch information
@olganaumenko @Saloed
olganaumenko authored and Saloed committed Apr 15, 2024
1 parent 5b95b9a commit b5ef2e6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/index.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ nav_order: 1
> * [Solver-agnostic formula representation](#solver-agnostic-formula-representation) and easy-to-use [DSL](#kotlin-based-dsl-for-smt-formulas)
> * Utilities to [simplify and transform](#utilities-to-simplify-and-transform-expressions) your expressions
> * Switching between solvers and support for [portfolio mode](#using-multiple-solvers-portfolio-mode)
> * Running solvers in a [separate process](#running-solvers-in-a-separate-processes) to reduce timeout-related crashes
> * Running solvers in a [separate process](#running-solvers-in-separate-processes) to reduce timeout-related crashes
> * Streamlined [solver delivery](#ksmt-distribution) with no need for building a solver or implementing JVM bindings
---
Expand Down

0 comments on commit b5ef2e6

Please sign in to comment.