All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Search JAR files by class name

Download green JAR 0.2.0 with all dependencies

Universal interface to decision procedures, constraint solvers, model counters, and related tools

Files of the artifact green version 0.2.0 from the group com.github.green-solver.

Artifact green
Group com.github.green-solver
Version 0.2.0
Last update 12. July 2019
Tags: model tools constraint universal solvers interface decision counters procedures related
Organization GreenSolver
URL https://github.com/GreenSolver/green
License GNU Lesser General Public License
Dependencies amount 9
Dependencies log4j-api, log4j-core, jackson-databind, commons-exec, apfloat, jedis, lettuce-core, choco-solver, javasmt-solver-z3,
There are maybe transitive dependencies!

The newest version!

Show more of this group Show more artifacts with this name
Show all versions of green Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of green version 0.2.0

META-INF

META-INF.META-INF.MANIFEST.MF

.build.properties

za.ac.sun.cs.green

za.ac.sun.cs.green.za.ac.sun.cs.green.Green

za.ac.sun.cs.green.za.ac.sun.cs.green.Instance

za.ac.sun.cs.green.za.ac.sun.cs.green.Service

za.ac.sun.cs.green.expr

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.BoolVariable

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.Constant

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.Expression

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.IntConstant

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.IntVariable

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.Operation

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.RealConstant

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.RealVariable

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.StringConstant

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.StringVariable

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.Variable

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.Visitor

za.ac.sun.cs.green.expr.za.ac.sun.cs.green.expr.VisitorException

za.ac.sun.cs.green.parser.isl

za.ac.sun.cs.green.parser.isl.za.ac.sun.cs.green.parser.isl.Parser

za.ac.sun.cs.green.parser.isl.za.ac.sun.cs.green.parser.isl.Scanner

za.ac.sun.cs.green.parser.isl.grammar

za.ac.sun.cs.green.parser.isl.grammar.za.ac.sun.cs.green.parser.isl.grammar.isl.ebnf

za.ac.sun.cs.green.parser.klee

za.ac.sun.cs.green.parser.klee.za.ac.sun.cs.green.parser.klee.ParseException

za.ac.sun.cs.green.parser.klee.za.ac.sun.cs.green.parser.klee.Parser

za.ac.sun.cs.green.parser.klee.za.ac.sun.cs.green.parser.klee.Scanner

za.ac.sun.cs.green.parser.klee.za.ac.sun.cs.green.parser.klee.Token

za.ac.sun.cs.green.parser.sexpr

za.ac.sun.cs.green.parser.sexpr.za.ac.sun.cs.green.parser.sexpr.LIAParser

za.ac.sun.cs.green.parser.smtlib2

za.ac.sun.cs.green.parser.smtlib2.za.ac.sun.cs.green.parser.smtlib2.Keyword0

za.ac.sun.cs.green.parser.smtlib2.za.ac.sun.cs.green.parser.smtlib2.ParseException

za.ac.sun.cs.green.parser.smtlib2.za.ac.sun.cs.green.parser.smtlib2.Parser0

za.ac.sun.cs.green.parser.smtlib2.za.ac.sun.cs.green.parser.smtlib2.Scanner0

za.ac.sun.cs.green.parser.smtlib2.za.ac.sun.cs.green.parser.smtlib2.Token0

za.ac.sun.cs.green.service

za.ac.sun.cs.green.service.za.ac.sun.cs.green.service.BasicService

za.ac.sun.cs.green.service.za.ac.sun.cs.green.service.CountService

za.ac.sun.cs.green.service.za.ac.sun.cs.green.service.ModelCoreService

za.ac.sun.cs.green.service.za.ac.sun.cs.green.service.ModelService

za.ac.sun.cs.green.service.za.ac.sun.cs.green.service.SATService

za.ac.sun.cs.green.service.barvinok

za.ac.sun.cs.green.service.barvinok.za.ac.sun.cs.green.service.barvinok.CNRService

za.ac.sun.cs.green.service.barvinok.za.ac.sun.cs.green.service.barvinok.CountBarvinokService

za.ac.sun.cs.green.service.barvinok.za.ac.sun.cs.green.service.barvinok.ISLTranslator

za.ac.sun.cs.green.service.barvinok.za.ac.sun.cs.green.service.barvinok.TranslatorUnsupportedOperation

za.ac.sun.cs.green.service.bounder

za.ac.sun.cs.green.service.bounder.za.ac.sun.cs.green.service.bounder.BounderService

za.ac.sun.cs.green.service.canonizer

za.ac.sun.cs.green.service.canonizer.za.ac.sun.cs.green.service.canonizer.ModelCanonizerService

za.ac.sun.cs.green.service.canonizer.za.ac.sun.cs.green.service.canonizer.SATCanonizerService

za.ac.sun.cs.green.service.canonizer.za.ac.sun.cs.green.service.canonizer.SATLeafCanonizerService

za.ac.sun.cs.green.service.choco4

za.ac.sun.cs.green.service.choco4.za.ac.sun.cs.green.service.choco4.ChocoTranslator

za.ac.sun.cs.green.service.choco4.za.ac.sun.cs.green.service.choco4.ModelChocoService

za.ac.sun.cs.green.service.choco4.za.ac.sun.cs.green.service.choco4.SATChocoService

za.ac.sun.cs.green.service.choco4.za.ac.sun.cs.green.service.choco4.TranslatorUnsupportedOperation

za.ac.sun.cs.green.service.factorizer

za.ac.sun.cs.green.service.factorizer.za.ac.sun.cs.green.service.factorizer.CountFactorizerService

za.ac.sun.cs.green.service.factorizer.za.ac.sun.cs.green.service.factorizer.FactorExpression

za.ac.sun.cs.green.service.factorizer.za.ac.sun.cs.green.service.factorizer.FactorExpressionOld

za.ac.sun.cs.green.service.factorizer.za.ac.sun.cs.green.service.factorizer.ModelFactorizerService

za.ac.sun.cs.green.service.factorizer.za.ac.sun.cs.green.service.factorizer.SATFactorizerService

za.ac.sun.cs.green.service.factorizer.za.ac.sun.cs.green.service.factorizer.SATOldFactorizerService

za.ac.sun.cs.green.service.factorizer.za.ac.sun.cs.green.service.factorizer.UnionFind

za.ac.sun.cs.green.service.grulia

za.ac.sun.cs.green.service.grulia.za.ac.sun.cs.green.service.grulia.BinaryRepository

za.ac.sun.cs.green.service.grulia.za.ac.sun.cs.green.service.grulia.CoreEntry

za.ac.sun.cs.green.service.grulia.za.ac.sun.cs.green.service.grulia.Entry

za.ac.sun.cs.green.service.grulia.za.ac.sun.cs.green.service.grulia.GruliaService

za.ac.sun.cs.green.service.grulia.za.ac.sun.cs.green.service.grulia.LinearRepository

za.ac.sun.cs.green.service.grulia.za.ac.sun.cs.green.service.grulia.ModelEntry

za.ac.sun.cs.green.service.grulia.za.ac.sun.cs.green.service.grulia.Repository

za.ac.sun.cs.green.service.latte

za.ac.sun.cs.green.service.latte.za.ac.sun.cs.green.service.latte.CountLattEService

za.ac.sun.cs.green.service.renamer

za.ac.sun.cs.green.service.renamer.za.ac.sun.cs.green.service.renamer.RenamerService

za.ac.sun.cs.green.service.simplifier

za.ac.sun.cs.green.service.simplifier.za.ac.sun.cs.green.service.simplifier.SATPropagationService

za.ac.sun.cs.green.service.slicer

za.ac.sun.cs.green.service.slicer.za.ac.sun.cs.green.service.slicer.SATFactorSlicerService

za.ac.sun.cs.green.service.slicer.za.ac.sun.cs.green.service.slicer.SATSlicerService

za.ac.sun.cs.green.service.slicer.za.ac.sun.cs.green.service.slicer.Slicer

za.ac.sun.cs.green.service.smtlib

za.ac.sun.cs.green.service.smtlib.za.ac.sun.cs.green.service.smtlib.ModelCoreSMTLIBService

za.ac.sun.cs.green.service.smtlib.za.ac.sun.cs.green.service.smtlib.ModelSMTLIBService

za.ac.sun.cs.green.service.smtlib.za.ac.sun.cs.green.service.smtlib.SATSMTLIBService

za.ac.sun.cs.green.service.smtlib.za.ac.sun.cs.green.service.smtlib.SMTLIBTranslator

za.ac.sun.cs.green.service.smtlib.za.ac.sun.cs.green.service.smtlib.TranslatorUnsupportedOperation

za.ac.sun.cs.green.service.z3

za.ac.sun.cs.green.service.z3.za.ac.sun.cs.green.service.z3.ModelCoreZ3Service

za.ac.sun.cs.green.service.z3.za.ac.sun.cs.green.service.z3.ModelZ3Service

za.ac.sun.cs.green.service.z3.za.ac.sun.cs.green.service.z3.SATZ3Service

za.ac.sun.cs.green.service.z3java

za.ac.sun.cs.green.service.z3java.za.ac.sun.cs.green.service.z3java.ModelCoreZ3JavaService

za.ac.sun.cs.green.service.z3java.za.ac.sun.cs.green.service.z3java.ModelZ3JavaService

za.ac.sun.cs.green.service.z3java.za.ac.sun.cs.green.service.z3java.SATZ3JavaService

za.ac.sun.cs.green.service.z3java.za.ac.sun.cs.green.service.z3java.Z3JavaTranslator

za.ac.sun.cs.green.service.z3java.za.ac.sun.cs.green.service.z3java.Z3JavaTranslatorUnsupportedOperation

za.ac.sun.cs.green.service.z3javabv

za.ac.sun.cs.green.service.z3javabv.za.ac.sun.cs.green.service.z3javabv.ModelCoreZ3JavaBVService

za.ac.sun.cs.green.service.z3javabv.za.ac.sun.cs.green.service.z3javabv.ModelZ3JavaBVService

za.ac.sun.cs.green.service.z3javabv.za.ac.sun.cs.green.service.z3javabv.SATZ3BVJavaService

za.ac.sun.cs.green.service.z3javabv.za.ac.sun.cs.green.service.z3javabv.Z3JavaBVTranslator

za.ac.sun.cs.green.service.z3javabv.za.ac.sun.cs.green.service.z3javabv.Z3JavaBVTranslatorUnsupportedOperation

za.ac.sun.cs.green.store

za.ac.sun.cs.green.store.za.ac.sun.cs.green.store.BasicStore

za.ac.sun.cs.green.store.za.ac.sun.cs.green.store.NullStore

za.ac.sun.cs.green.store.za.ac.sun.cs.green.store.Store

za.ac.sun.cs.green.store.memstore

za.ac.sun.cs.green.store.memstore.za.ac.sun.cs.green.store.memstore.MemStore

za.ac.sun.cs.green.store.redis

za.ac.sun.cs.green.store.redis.za.ac.sun.cs.green.store.redis.RedisLettuceStore

za.ac.sun.cs.green.store.redis.za.ac.sun.cs.green.store.redis.RedisStore

za.ac.sun.cs.green.taskmanager

za.ac.sun.cs.green.taskmanager.za.ac.sun.cs.green.taskmanager.ParallelTaskManager

za.ac.sun.cs.green.taskmanager.za.ac.sun.cs.green.taskmanager.SerialTaskManager

za.ac.sun.cs.green.taskmanager.za.ac.sun.cs.green.taskmanager.TaskManager

za.ac.sun.cs.green.util

za.ac.sun.cs.green.util.za.ac.sun.cs.green.util.Base64

za.ac.sun.cs.green.util.za.ac.sun.cs.green.util.Configuration

za.ac.sun.cs.green.util.za.ac.sun.cs.green.util.Misc

za.ac.sun.cs.green.util.za.ac.sun.cs.green.util.NullLogger

za.ac.sun.cs.green.util.za.ac.sun.cs.green.util.Pair

za.ac.sun.cs.green.util.za.ac.sun.cs.green.util.Reporter

© 2015 - 2024 Weber Informatics LLC | Privacy Policy