jar

org.xcsp : xcsp3-tools

Maven & Gradle

Apr 02, 2023
2 usages
19 stars

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

Table Of Contents

Latest Version

Download org.xcsp : xcsp3-tools JAR file - Latest Versions:

All Versions

Download org.xcsp : xcsp3-tools JAR file - All Versions:

Version Vulnerabilities Size Updated
2.3
2.2
2.1.x
2.1
2.0.x
2.0
1.2.x
1.2.
1.1.x
1.0.x
0.9.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window xcsp3-tools-2.3.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.xcsp.modeler

├─ org.xcsp.modeler.Compiler.class - [JAR]

org.xcsp.common

├─ org.xcsp.common.Condition.class - [JAR]

├─ org.xcsp.common.Constants.class - [JAR]

├─ org.xcsp.common.FunctionalInterfaces.class - [JAR]

├─ org.xcsp.common.IVar.class - [JAR]

├─ org.xcsp.common.Range.class - [JAR]

├─ org.xcsp.common.Size.class - [JAR]

├─ org.xcsp.common.Softening.class - [JAR]

├─ org.xcsp.common.Types.class - [JAR]

├─ org.xcsp.common.Utilities.class - [JAR]

org.xcsp.common.structures

├─ org.xcsp.common.structures.AbstractTuple.class - [JAR]

├─ org.xcsp.common.structures.Automaton.class - [JAR]

├─ org.xcsp.common.structures.Table.class - [JAR]

├─ org.xcsp.common.structures.TableAbstract.class - [JAR]

├─ org.xcsp.common.structures.TableSymbolic.class - [JAR]

├─ org.xcsp.common.structures.Transition.class - [JAR]

├─ org.xcsp.common.structures.Transitions.class - [JAR]

org.xcsp.parser.entries

├─ org.xcsp.parser.entries.ParsingEntry.class - [JAR]

├─ org.xcsp.parser.entries.XConstraints.class - [JAR]

├─ org.xcsp.parser.entries.XObjectives.class - [JAR]

├─ org.xcsp.parser.entries.XVariables.class - [JAR]

org.xcsp.common.predicates

├─ org.xcsp.common.predicates.MatcherInterface.class - [JAR]

├─ org.xcsp.common.predicates.TreeEvaluator.class - [JAR]

├─ org.xcsp.common.predicates.XNode.class - [JAR]

├─ org.xcsp.common.predicates.XNodeLeaf.class - [JAR]

├─ org.xcsp.common.predicates.XNodeParent.class - [JAR]

├─ org.xcsp.common.predicates.XNodeParentSpecial.class - [JAR]

org.xcsp.modeler.entities

├─ org.xcsp.modeler.entities.CtrEntities.class - [JAR]

├─ org.xcsp.modeler.entities.ModelingEntity.class - [JAR]

├─ org.xcsp.modeler.entities.ObjEntities.class - [JAR]

├─ org.xcsp.modeler.entities.VarEntities.class - [JAR]

org.xcsp.parser

├─ org.xcsp.parser.WrongTypeException.class - [JAR]

├─ org.xcsp.parser.XParser.class - [JAR]

org.xcsp.parser.loaders

├─ org.xcsp.parser.loaders.ConstraintRecognizer.class - [JAR]

├─ org.xcsp.parser.loaders.CtrLoaderInteger.class - [JAR]

├─ org.xcsp.parser.loaders.CtrLoaderSymbolic.class - [JAR]

org.xcsp.modeler.implementation

├─ org.xcsp.modeler.implementation.NotData.class - [JAR]

├─ org.xcsp.modeler.implementation.ProblemDataHandler.class - [JAR]

├─ org.xcsp.modeler.implementation.ProblemIMP.class - [JAR]

├─ org.xcsp.modeler.implementation.ProblemIMP3.class - [JAR]

org.xcsp.modeler.definitions

├─ org.xcsp.modeler.definitions.DefXCSP.class - [JAR]

├─ org.xcsp.modeler.definitions.ICtr.class - [JAR]

├─ org.xcsp.modeler.definitions.IObj.class - [JAR]

├─ org.xcsp.modeler.definitions.IRootForCtrAndObj.class - [JAR]

org.xcsp.modeler.api

├─ org.xcsp.modeler.api.ProblemAPI.class - [JAR]

├─ org.xcsp.modeler.api.ProblemAPIBase.class - [JAR]

├─ org.xcsp.modeler.api.ProblemAPIOnVals.class - [JAR]

├─ org.xcsp.modeler.api.ProblemAPIOnVars.class - [JAR]

├─ org.xcsp.modeler.api.ProblemAPISymbolic.class - [JAR]

org.xcsp.common.enumerations

├─ org.xcsp.common.enumerations.EnumerationAbstract.class - [JAR]

├─ org.xcsp.common.enumerations.EnumerationCartesian.class - [JAR]

├─ org.xcsp.common.enumerations.EnumerationOfCombinations.class - [JAR]

├─ org.xcsp.common.enumerations.EnumerationOfPermutations.class - [JAR]

org.xcsp.parser.callbacks

├─ org.xcsp.parser.callbacks.CompetitionValidator.class - [JAR]

├─ org.xcsp.parser.callbacks.FeatureDisplayer.class - [JAR]

├─ org.xcsp.parser.callbacks.SolutionChecker.class - [JAR]

├─ org.xcsp.parser.callbacks.XCallbacks.class - [JAR]

├─ org.xcsp.parser.callbacks.XCallbacks2.class - [JAR]

org.xcsp.modeler.problems

├─ org.xcsp.modeler.problems.AllInterval.class - [JAR]

├─ org.xcsp.modeler.problems.Bibd.class - [JAR]

├─ org.xcsp.modeler.problems.Blackhole.class - [JAR]

├─ org.xcsp.modeler.problems.BoardColoration.class - [JAR]

├─ org.xcsp.modeler.problems.MagicSequence.class - [JAR]

├─ org.xcsp.modeler.problems.Pic.class - [JAR]

├─ org.xcsp.modeler.problems.Pic2.class - [JAR]

├─ org.xcsp.modeler.problems.Queens.class - [JAR]

├─ org.xcsp.modeler.problems.Rack.class - [JAR]

├─ org.xcsp.modeler.problems.Rack2.class - [JAR]

├─ org.xcsp.modeler.problems.Riddle.class - [JAR]

├─ org.xcsp.modeler.problems.Riddle2.class - [JAR]

├─ org.xcsp.modeler.problems.Riddle3.class - [JAR]

├─ org.xcsp.modeler.problems.Riddle4.class - [JAR]

├─ org.xcsp.modeler.problems.Riddle4b.class - [JAR]

├─ org.xcsp.modeler.problems.Riddle5.class - [JAR]

├─ org.xcsp.modeler.problems.Sudoku.class - [JAR]

├─ org.xcsp.modeler.problems.Warehouse.class - [JAR]

├─ org.xcsp.modeler.problems.Zebra.class - [JAR]

org.xcsp.common.domains

├─ org.xcsp.common.domains.Domains.class - [JAR]

├─ org.xcsp.common.domains.Values.class - [JAR]

Advertisement

Dependencies from Group

Apr 02, 2023
2 usages
19 stars

Discover Dependencies

Jul 09, 2018
0 stars
Feb 21, 2018
4 usages
12.8k stars
May 19, 2022
3 usages
3k stars
Jan 31, 2022
10 usages
266 stars
Dec 15, 2022
7 usages
154 stars
May 17, 2019
9 usages
218 stars
Aug 15, 2023
29 usages
1k stars