From 7df0429a8aff680bf5ee7184c0192e4fae4835e5 Mon Sep 17 00:00:00 2001 From: Aaron Bembenek Date: Fri, 11 Oct 2024 12:29:29 +1100 Subject: [PATCH] Fix typo in README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index aecc885d..24910d21 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ **TL;DR: write SMT-based program analyses (symbolic executors, refinement type checkers, etc.) in an optimized Datalog-like language.** -Datalog has proven to be a useful language for implementing a range of program analyses, but analyses that use SMT-solving cannot be easily written in traditional versions of Datalog. +Datalog has proven to be a useful language for implementing a range of program analyses, but analyses that use SMT solving cannot be easily written in traditional versions of Datalog. Formulog sets out to fill this gap by augmenting Datalog with ways to construct and reason about SMT formulas, as well as some first-order functional programming to make life easier. **Why write your SMT-based analysis in Formulog?**