https://github.com/HarvardPL/formulog

Datalog with support for SMT queries and first-order functional programming
https://github.com/HarvardPL/formulog

datalog logic-programming smt static-analysis symbolic-execution

Last synced: 3 months ago
JSON representation

Datalog with support for SMT queries and first-order functional programming

• Host: GitHub
• URL: https://github.com/HarvardPL/formulog
• Owner: HarvardPL
• License: apache-2.0
• Created: 2019-04-19T13:05:43.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2024-10-28T21:17:23.000Z (3 months ago)
• Last Synced: 2024-10-28T22:23:54.000Z (3 months ago)
• Topics: datalog, logic-programming, smt, static-analysis, symbolic-execution
• Language: Java
• Homepage: https://harvardpl.github.io/formulog/
• Size: 2.93 MB
• Stars: 153
• Watchers: 12
• Forks: 9
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • Changelog: changelog.md
  • License: LICENSE.txt

Awesome Lists containing this project

• awesome-oneapi - formulog - Formulog is a logic programming language that supports Datalog, SMT queries, and first-order functional programming. It requires JRE 11 and a supported SMT solver, such as Z3, Boolector, CVC4, or Yices. (Table of Contents / Tools and Development)