All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download xcsp3-tools JAR 2.5 with all dependencies


    Java Tools for parsing XCSP3 instances, compiling JvCSP3 models, and checking solutions. For more information about XCSP3, follow www.xcsp.org

    Files of the artifact xcsp3-tools version 2.5 from the group org.xcsp.

    Test

    Artifact xcsp3-tools
    Group org.xcsp
    Version 2.5
    Last update 03. November 2023
    Tags: models checking xcsp3 instances solutions more about compiling parsing follow tools jvcsp3 xcsp java information
    Organization Centre de Recherche en Informatique de Lens (CRIL), University of Artois
    URL https://www.xcsp.org
    License MIT License
    Dependencies amount 3
    Dependencies javax.json-api, javax.json, junit,
    There are maybe transitive dependencies!
    The newest version!
    Show more of this group  Show more artifacts with this name
    Show all versions of xcsp3-tools Show documentation

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

    5 downloads

    Source code of xcsp3-tools version 2.5

    META-INF
    META-INF.META-INF.MANIFEST.MF
    org.xcsp.common
    org.xcsp.common.org.xcsp.common.Condition
    org.xcsp.common.org.xcsp.common.Constants
    org.xcsp.common.org.xcsp.common.FunctionalInterfaces
    org.xcsp.common.org.xcsp.common.IVar
    org.xcsp.common.org.xcsp.common.Range
    org.xcsp.common.org.xcsp.common.Size
    org.xcsp.common.org.xcsp.common.Softening
    org.xcsp.common.org.xcsp.common.Types
    org.xcsp.common.org.xcsp.common.Utilities
    org.xcsp.common.domains
    org.xcsp.common.domains.org.xcsp.common.domains.Domains
    org.xcsp.common.domains.org.xcsp.common.domains.Values
    org.xcsp.common.enumerations
    org.xcsp.common.enumerations.org.xcsp.common.enumerations.EnumerationAbstract
    org.xcsp.common.enumerations.org.xcsp.common.enumerations.EnumerationCartesian
    org.xcsp.common.enumerations.org.xcsp.common.enumerations.EnumerationOfCombinations
    org.xcsp.common.enumerations.org.xcsp.common.enumerations.EnumerationOfPermutations
    org.xcsp.common.predicates
    org.xcsp.common.predicates.org.xcsp.common.predicates.MatcherInterface
    org.xcsp.common.predicates.org.xcsp.common.predicates.TreeEvaluator
    org.xcsp.common.predicates.org.xcsp.common.predicates.XNode
    org.xcsp.common.predicates.org.xcsp.common.predicates.XNodeLeaf
    org.xcsp.common.predicates.org.xcsp.common.predicates.XNodeParent
    org.xcsp.common.predicates.org.xcsp.common.predicates.XNodeParentSpecial
    org.xcsp.common.structures
    org.xcsp.common.structures.org.xcsp.common.structures.AbstractTuple
    org.xcsp.common.structures.org.xcsp.common.structures.Automaton
    org.xcsp.common.structures.org.xcsp.common.structures.Table
    org.xcsp.common.structures.org.xcsp.common.structures.TableAbstract
    org.xcsp.common.structures.org.xcsp.common.structures.TableSymbolic
    org.xcsp.common.structures.org.xcsp.common.structures.Transition
    org.xcsp.common.structures.org.xcsp.common.structures.Transitions
    org.xcsp.modeler
    org.xcsp.modeler.org.xcsp.modeler.Compiler
    org.xcsp.modeler.api
    org.xcsp.modeler.api.org.xcsp.modeler.api.ProblemAPI
    org.xcsp.modeler.api.org.xcsp.modeler.api.ProblemAPIBase
    org.xcsp.modeler.api.org.xcsp.modeler.api.ProblemAPIOnVals
    org.xcsp.modeler.api.org.xcsp.modeler.api.ProblemAPIOnVars
    org.xcsp.modeler.api.org.xcsp.modeler.api.ProblemAPISymbolic
    org.xcsp.modeler.definitions
    org.xcsp.modeler.definitions.org.xcsp.modeler.definitions.DefXCSP
    org.xcsp.modeler.definitions.org.xcsp.modeler.definitions.ICtr
    org.xcsp.modeler.definitions.org.xcsp.modeler.definitions.IObj
    org.xcsp.modeler.definitions.org.xcsp.modeler.definitions.IRootForCtrAndObj
    org.xcsp.modeler.entities
    org.xcsp.modeler.entities.org.xcsp.modeler.entities.CtrEntities
    org.xcsp.modeler.entities.org.xcsp.modeler.entities.ModelingEntity
    org.xcsp.modeler.entities.org.xcsp.modeler.entities.ObjEntities
    org.xcsp.modeler.entities.org.xcsp.modeler.entities.VarEntities
    org.xcsp.modeler.implementation
    org.xcsp.modeler.implementation.org.xcsp.modeler.implementation.NotData
    org.xcsp.modeler.implementation.org.xcsp.modeler.implementation.ProblemDataHandler
    org.xcsp.modeler.implementation.org.xcsp.modeler.implementation.ProblemIMP
    org.xcsp.modeler.implementation.org.xcsp.modeler.implementation.ProblemIMP3
    org.xcsp.modeler.problems
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.AllInterval
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Bibd
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Blackhole
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.BoardColoration
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.MagicSequence
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Pic
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Pic2
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Queens
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Rack
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Rack2
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Riddle
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Riddle2
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Riddle3
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Riddle4
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Riddle4b
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Riddle5
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Sudoku
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Warehouse
    org.xcsp.modeler.problems.org.xcsp.modeler.problems.Zebra
    org.xcsp.parser
    org.xcsp.parser.org.xcsp.parser.WrongTypeException
    org.xcsp.parser.org.xcsp.parser.XParser
    org.xcsp.parser.callbacks
    org.xcsp.parser.callbacks.org.xcsp.parser.callbacks.CompetitionValidator
    org.xcsp.parser.callbacks.org.xcsp.parser.callbacks.FeatureDisplayer
    org.xcsp.parser.callbacks.org.xcsp.parser.callbacks.SolutionChecker
    org.xcsp.parser.callbacks.org.xcsp.parser.callbacks.XCallbacks
    org.xcsp.parser.callbacks.org.xcsp.parser.callbacks.XCallbacks2
    org.xcsp.parser.entries
    org.xcsp.parser.entries.org.xcsp.parser.entries.ParsingEntry
    org.xcsp.parser.entries.org.xcsp.parser.entries.XConstraints
    org.xcsp.parser.entries.org.xcsp.parser.entries.XObjectives
    org.xcsp.parser.entries.org.xcsp.parser.entries.XVariables
    org.xcsp.parser.loaders
    org.xcsp.parser.loaders.org.xcsp.parser.loaders.ConstraintRecognizer
    org.xcsp.parser.loaders.org.xcsp.parser.loaders.CtrLoaderInteger
    org.xcsp.parser.loaders.org.xcsp.parser.loaders.CtrLoaderSymbolic




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy