PLOOPI-Lib

A Java library for dealing with propositional and SMT formulas.

Brought to you by: lammenation, paulolsenjr

Downloads: 0 This Week

Last Update: 2017-07-27

Browse Code

Add to Preferred Sources

This library contains tools for representing clause sets and more general boolean formulas as well as for representing SMT (satisfiability modulo theory) formulas. In addition, a set of tools is included for generating tries of the prime implicates of boolean formulas. Current work includes integrating SMT formuals with these prime implicate generation tools so that prime implicates of SMT formulas may be produced.

For a list of publications relating to this project, go to
Files -> publications

Project Activity

See All Activity >

Follow PLOOPI-Lib

PLOOPI-Lib Web Site

Other Useful Business Software

Build Data Resilience - Take the Assessment Today Icon

Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of PLOOPI-Lib !

Additional Project Details

Registered

2014-02-23

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

Joint Generation algorithm in Lisp
An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.
Moses SMT Decoder
The Moses repository has moved: https://github.com/moses-smt/mosesdecoder Factored phrase-based, hierarchical and syntax decoder for statistical machine translation
Linearizer
Small application that helps linearizing (cos x)^n and (sin x)^n
prime database project
primedb is a project that attempt to generation prime numbers fast and saving them to a database(Mysql or else) for prime research: finding large number of prime,prime factorization,Goldbach's conjecture,twin prime conjecture...
Souper
A superoptimizer for LLVM IR