formulog | SMT queries and first-order functional programming

by HarvardPL Java Version: v0.7.0 License: Apache-2.0

X-Ray Key Features Code Snippets Community Discussions Vulnerabilities Install Support

kandi X-RAY | formulog Summary

formulog is a Java library. formulog has no bugs, it has no vulnerabilities, it has build file available, it has a Permissive License and it has low support. You can download it from GitHub.

Datalog with support for SMT queries.

Support

Quality

Security

License

Reuse

Support

formulog has a low active ecosystem.

It has 132 star(s) with 8 fork(s). There are 15 watchers for this library.

It had no major release in the last 12 months.

There are 7 open issues and 10 have been closed. On average issues are closed in 7 days. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of formulog is v0.7.0

Quality

formulog has no bugs reported.

Security

formulog has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

formulog is licensed under the Apache-2.0 License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

formulog releases are available to install and integrate.

Build file is available. You can build the component from source.

Installation instructions are not available. Examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi has reviewed formulog and discovered the below as its top functions. This is intended to give you an instant insight into formulog implemented functionality, and help decide if they suit your requirements.

Declares the class
Declares insert hint
Declares indices
Create lookup arguments for a key
Utility method to print out the SMT statistics
Computes min and max values
Computes the standard deviation
Computes assertions for a given conjunct term
Record the CSA cache statistics
Checks if this is a valid type
Build the type
Add a predicate function as a predicate function
Scores the given complex literal predicate using the given set of bound variables
Gets the type of the compile - time type
Score a simple unification predicate
Gets a new type
Normalize arguments
Returns a string containing the text
Finds all tokens in a single rule
Utility method for debugging
Checks a rule
Finds all terms of a predicate
Print the cases
Gets the SMT strategy
Compare two terms
Gets compile time type

Get all kandi verified functions for this library.

formulog Key Features

No Key Features are available at this moment for formulog.

formulog Examples and Code Snippets

No Code Snippets are available at this moment for formulog.

Community Discussions

No Community Discussions are available at this moment for formulog.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install formulog

You can download it from GitHub.
You can use formulog like any standard Java library. Please include the the jar files in your classpath. You can also use any IDE and you can run and debug the formulog component as you would do with any other Java program. Best practice is to use a build tool that supports dependency management such as Maven or Gradle. For Maven installation, please refer maven.apache.org. For Gradle installation, please refer gradle.org .

Support

We currently support the solvers Z3, Boolector, CVC4, and Yices; however, not all these solvers handle the full range of Formulog features. The default solver is Z3; to set another one, you need to use a command-line option (see below). For each solver, the relevant binary needs to be on your path: z3 for Z3, boolector for Boolector, cvc4 for CVC4, and yices-smt2 for Yices.

Find more information at: