Skip to content

Commit

Permalink
Update NOTES -- fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@ahmed-irfan
ahmed-irfan authored Jul 13, 2023
1 parent d6448c1 commit 5a3e3f0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/NOTES
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ The source code is organized as follows:

src/solvers: CDCL-based SAT solvers + theory solvers

src/mcsat: MCSAT baded solvers and plugins
src/mcsat: MCSAT-based solvers and plugins

src/context: Support for creating and manipulating contexts and for simplification
and preprocessing of assertions.
Expand Down

0 comments on commit 5a3e3f0

Please sign in to comment.