PLOOPI-Lib Files

A Java library for dealing with propositional and SMT formulas.

Brought to you by: lammenation, paulolsenjr

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
references.txt	2014-02-25	3.4 kB	0
Tab2009.pdf	2014-02-25	118.6 kB	0
PAAR2010.pdf	2014-02-25	116.3 kB	0
KEOD2009sp.pdf	2014-02-25	86.8 kB	0
ISMIS2011.pdf	2014-02-25	121.4 kB	0
dynamic_programming_pi-trie-short.pdf	2014-02-25	301.0 kB	0
Totals: 6 Items		747.4 kB	0

Other Useful Business Software

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

$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

$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