-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java
Detected in the open source project pool/main/s/sat4j as MixedDataStructureDanielHT.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/WatchPb.java
Detected in the open source project SAT4J pseudo as WatchPb.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/OriginalWLClause.java
Detected in the open source project pool/main/s/sat4j as OriginalWLClause.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/HighLevelXplain.java
Detected in the open source project SAT4J core as HighLevelXplain.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/overview.html
Detected in the open source project pool/main/s/sat4j as overview.html
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Constr.java
Detected in the open source project pool/main/s/sat4j as Constr.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/IPBSolver.java
Detected in the open source project pool/main/s/sat4j as IPBSolver.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java
Detected in the open source project pool/main/s/sat4j as PuebloPBMinClauseAtLeastConstrDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/QuickXplainStrategy.java
Detected in the open source project SAT4J core as QuickXplainStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/LexicoHelper.java
Detected in the open source project SAT4J pseudo as LexicoHelper.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/AtLeastPB.java
Detected in the open source project SAT4J pseudo as AtLeastPB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/Pair.java
Detected in the open source project pool/main/s/sat4j as Pair.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Learner.java
Detected in the open source project pool/main/s/sat4j as Learner.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/IProblem.java
Detected in the open source project SAT4J core as IProblem.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.java
Detected in the open source project SAT4J core as AbstractPhaserecordingSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/MinWatchPbLongPB.java
Detected in the open source project SAT4J pseudo as MinWatchPbLongPB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/INegator.java
Detected in the open source project SAT4J pseudo as INegator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/IOrder.java
Detected in the open source project SAT4J core as IOrder.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/about.html
Detected in the open source project pool/main/s/sat4j as about.html
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/ManyCorePB.java
Detected in the open source project SAT4J pseudo as ManyCorePB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/Xplain.java
Detected in the open source project SAT4J core as Xplain.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/reader/PBInstanceReader.java
Detected in the open source project pool/main/s/sat4j as PBInstanceReader.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverStats.java
Detected in the open source project SAT4J pseudo as PBSolverStats.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/ObjectiveFunction.java
Detected in the open source project pool/main/s/sat4j as ObjectiveFunction.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/plugin.properties
Detected in the open source project FAMA Tool Suite as plugin.properties
licensed under [GNU Lesser GPL]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/core/LiteralsUtils.java
Detected in the open source project pool/main/s/sat4j as LiteralsUtils.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/ImplicationNamer.java
Detected in the open source project pool/main/s/sat4j as ImplicationNamer.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolver.java
Detected in the open source project SAT4J pseudo as PBSolver.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/card/MinWatchCard.java
Detected in the open source project SAT4J core as MinWatchCard.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/SolverFactory.java
Detected in the open source project SAT4J pseudo as SolverFactory.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Counter.java
Detected in the open source project pool/main/s/sat4j as Counter.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/restarts/LubyRestarts.java
Detected in the open source project pool/main/s/sat4j as LubyRestarts.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/OriginalHTClausePB.java
Detected in the open source project pool/main/s/sat4j as OriginalHTClausePB.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/ConflictMapMerging.java
Detected in the open source project SAT4J pseudo as ConflictMapMerging.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/PBSolverDecorator.java
Detected in the open source project pool/main/s/sat4j as PBSolverDecorator.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java
Detected in the open source project pool/main/s/sat4j as PuebloMinWatchPb.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/LightFactory.java
Detected in the open source project SAT4J core as LightFactory.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverResolution.java
Detected in the open source project SAT4J pseudo as PBSolverResolution.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/AIGReader.java
Detected in the open source project pool/main/s/sat4j as AIGReader.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/ExtendedDimacsArrayReader.java
Detected in the open source project pool/main/s/sat4j as ExtendedDimacsArrayReader.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/org/sat4j/maxsat/GenericOptLauncher.java
Detected in the open source project SAT4J maxsat as GenericOptLauncher.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/MinWatchPb.java
Detected in the open source project SAT4J pseudo as MinWatchPb.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.java
Detected in the open source project pool/main/s/sat4j as OriginalBinaryClausePB.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/ConflictLevelTracing.java
Detected in the open source project SAT4J core as ConflictLevelTracing.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java
Detected in the open source project pool/main/s/sat4j as PBMaxClauseCardConstrDataStructure.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/ConflictTracing.java
Detected in the open source project SAT4J pseudo as ConflictTracing.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/MoreThanSAT.java
Detected in the open source project pool/main/s/sat4j as MoreThanSAT.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/ClausalDataStructureWL.java
Detected in the open source project pool/main/s/sat4j as ClausalDataStructureWL.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverWithImpliedClause.java
Detected in the open source project SAT4J pseudo as PBSolverWithImpliedClause.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/about.html
Detected in the open source project pool/main/s/sat4j as about.html
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/LanceurPseudo2007Eclipse.java
Detected in the open source project pool/main/s/sat4j as LanceurPseudo2007Eclipse.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/UnitClauses.java
Detected in the open source project SAT4J core as UnitClauses.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java
Detected in the open source project pool/main/s/sat4j as PBMaxClauseAtLeastConstrDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.java
Detected in the open source project SAT4J core as NegativeLiteralSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/UnitClausePB.java
Detected in the open source project SAT4J pseudo as UnitClausePB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverResCP.java
Detected in the open source project SAT4J pseudo as PBSolverResCP.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/DecisionTracing.java
Detected in the open source project SAT4J core as DecisionTracing.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java
Detected in the open source project SAT4J pseudo as MaxWatchPbLong.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java
Detected in the open source project pool/main/s/sat4j as CardinalityDataStructureYanMin.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/Clauses.java
Detected in the open source project pool/main/s/sat4j as Clauses.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/opt/AbstractSelectorVariablesDecorator.java
Detected in the open source project SAT4J core as AbstractSelectorVariablesDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/ManyCore.java
Detected in the open source project SAT4J core as ManyCore.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/UserFriendlyPBStringSolver.java
Detected in the open source project SAT4J pseudo as UserFriendlyPBStringSolver.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/EfficientScanner.java
Detected in the open source project pool/main/s/sat4j as EfficientScanner.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/AAGReader.java
Detected in the open source project pool/main/s/sat4j as AAGReader.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/HTClause.java
Detected in the open source project pool/main/s/sat4j as HTClause.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/ActiveLearning.java
Detected in the open source project pool/main/s/sat4j as ActiveLearning.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/WLClause.java
Detected in the open source project SAT4J core as WLClause.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/ExitCode.java
Detected in the open source project SAT4J core as ExitCode.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/TimeoutException.java
Detected in the open source project pool/main/s/sat4j as TimeoutException.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/DisjunctionRHS.java
Detected in the open source project SAT4J pseudo as DisjunctionRHS.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/PseudoIteratorDecorator.java
Detected in the open source project pool/main/s/sat4j as PseudoIteratorDecorator.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.java
Detected in the open source project SAT4J core as PositiveLiteralSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/opt/MinOneDecorator.java
Detected in the open source project SAT4J core as MinOneDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/core/VecInt.java
Detected in the open source project SAT4J core as VecInt.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/LearntWLClause.java
Detected in the open source project pool/main/s/sat4j as LearntWLClause.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/ConflictMapCardinality.java
Detected in the open source project pool/main/s/sat4j as ConflictMapCardinality.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/SolverFactory.java
Detected in the open source project SAT4J core as SolverFactory.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/NoLearningNoHeuristics.java
Detected in the open source project pool/main/s/sat4j as NoLearningNoHeuristics.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java
Detected in the open source project pool/main/s/sat4j as CardinalityDataStructureYanMax.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/GroupedCNFReader.java
Detected in the open source project SAT4J core as GroupedCNFReader.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java
Detected in the open source project SAT4J pseudo as CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/PureOrder.java
Detected in the open source project pool/main/s/sat4j as PureOrder.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/reader/OPBReader2006.java
Detected in the open source project pool/main/s/sat4j as OPBReader2006.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.java
Detected in the open source project pool/main/s/sat4j as OriginalBinaryClause.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.java
Detected in the open source project SAT4J core as PhaseInLastLearnedClauseSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/core/Vec.java
Detected in the open source project SAT4J core as Vec.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.java
Detected in the open source project SAT4J core as UserFixedPhaseSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/DimacsReader.java
Detected in the open source project SAT4J core as DimacsReader.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/IConflict.java
Detected in the open source project SAT4J pseudo as IConflict.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/ILits.java
Detected in the open source project pool/main/s/sat4j as ILits.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/IConstr.java
Detected in the open source project pool/main/s/sat4j as IConstr.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/MiniSATLearning.java
Detected in the open source project pool/main/s/sat4j as MiniSATLearning.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/org/sat4j/maxsat/SolverFactory.java
Detected in the open source project SAT4J maxsat as SolverFactory.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/OriginalHTClause.java
Detected in the open source project pool/main/s/sat4j as OriginalHTClause.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/reader/OPBEclipseReader2007.java
Detected in the open source project pool/main/s/sat4j as OPBEclipseReader2007.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.java
Detected in the open source project SAT4J pseudo as ConflictMapSwitchToClause.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/ConstrGroup.java
Detected in the open source project pool/main/s/sat4j as ConstrGroup.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/card/AtLeast.java
Detected in the open source project SAT4J core as AtLeast.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/PseudoOptDecorator.java
Detected in the open source project SAT4J pseudo as PseudoOptDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/org/sat4j/maxsat/WeightedMaxSatDecorator.java
Detected in the open source project SAT4J maxsat as WeightedMaxSatDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/LanceurPseudo2007.java
Detected in the open source project pool/main/s/sat4j as LanceurPseudo2007.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/NoLearningButHeuristics.java
Detected in the open source project pool/main/s/sat4j as NoLearningButHeuristics.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/VoidTracing.java
Detected in the open source project pool/main/s/sat4j as VoidTracing.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/FixedLengthLearning.java
Detected in the open source project pool/main/s/sat4j as FixedLengthLearning.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Undoable.java
Detected in the open source project pool/main/s/sat4j as Undoable.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/LecteurDimacs.java
Detected in the open source project pool/main/s/sat4j as LecteurDimacs.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/PseudoBitsAdderDecorator.java
Detected in the open source project SAT4J pseudo as PseudoBitsAdderDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PuebloPBMinDataStructure.java
Detected in the open source project pool/main/s/sat4j as PuebloPBMinDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/ActivityListener.java
Detected in the open source project pool/main/s/sat4j as ActivityListener.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/Pseudos.java
Detected in the open source project pool/main/s/sat4j as Pseudos.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/DimacsOutputSolver.java
Detected in the open source project SAT4J core as DimacsOutputSolver.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/RestartStrategy.java
Detected in the open source project "org.sat4j:org.sat4j.core" as RestartStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/ConflictMap.java
Detected in the open source project SAT4J pseudo as ConflictMap.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/Lbool.java
Detected in the open source project pool/main/s/sat4j as Lbool.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/DimacsArrayReader.java
Detected in the open source project pool/main/s/sat4j as DimacsArrayReader.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/Minimal4CardinalityModel.java
Detected in the open source project SAT4J core as Minimal4CardinalityModel.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java
Detected in the open source project SAT4J pseudo as CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/core/ReadOnlyVecInt.java
Detected in the open source project SAT4J core as ReadOnlyVecInt.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Pair.java
Detected in the open source project pool/main/s/sat4j as Pair.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/plugin.properties
Detected in the open source project "org.sat4j:org.sat4j.pb" as plugin.properties
license information not available
Also detected in 10 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/LearntHTClause.java
Detected in the open source project pool/main/s/sat4j as LearntHTClause.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/GateTranslator.java
Detected in the open source project SAT4J core as GateTranslator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/opt/MaxSatDecorator.java
Detected in the open source project SAT4J core as MaxSatDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/core/ReadOnlyVec.java
Detected in the open source project pool/main/s/sat4j as ReadOnlyVec.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/Explainer.java
Detected in the open source project SAT4J core as Explainer.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.java
Detected in the open source project SAT4J pseudo as CompetResolutionPBMixedWLClauseCardConstrDataStructure.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/IVec.java
Detected in the open source project pool/main/s/sat4j as IVec.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/orders/VarOrderHeapObjective.java
Detected in the open source project SAT4J pseudo as VarOrderHeapObjective.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java
Detected in the open source project SAT4J pseudo as PuebloPBMinClauseCardConstrDataStructure.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/DecisionLevelTracing.java
Detected in the open source project SAT4J core as DecisionLevelTracing.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/overview.html
Detected in the open source project "org.sat4j:org.sat4j.pb" as overview.html
license information not available
Also detected in 6 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/XplainPB.java
Detected in the open source project pool/main/s/sat4j as XplainPB.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/org/sat4j/maxsat/UnitWeightedClause.java
Detected in the open source project SAT4J maxsat as UnitWeightedClause.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/IDataStructurePB.java
Detected in the open source project SAT4J pseudo as IDataStructurePB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/RemiUtils.java
Detected in the open source project SAT4J core as RemiUtils.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/IPhaseSelectionStrategy.java
Detected in the open source project SAT4J core as IPhaseSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/PBConstr.java
Detected in the open source project pool/main/s/sat4j as PBConstr.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/SearchListener.java
Detected in the open source project pool/main/s/sat4j as SearchListener.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverCP.java
Detected in the open source project SAT4J pseudo as PBSolverCP.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/ParseFormatException.java
Detected in the open source project pool/main/s/sat4j as ParseFormatException.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.java
Detected in the open source project SAT4J core as PhaseCachingAutoEraseStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/LexicoDecorator.java
Detected in the open source project SAT4J core as LexicoDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/IntQueue.java
Detected in the open source project pool/main/s/sat4j as IntQueue.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/ClauseOnlyLearning.java
Detected in the open source project pool/main/s/sat4j as ClauseOnlyLearning.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/build.properties
Detected in the open source project pool/main/s/sat4j as build.properties
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.java
Detected in the open source project SAT4J core as RSATLastLearnedClausesPhaseSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/StringNegator.java
Detected in the open source project SAT4J pseudo as StringNegator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/ConflictMapClause.java
Detected in the open source project SAT4J pseudo as ConflictMapClause.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java
Detected in the open source project SAT4J core as MixedDataStructureSingleWL.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/ValuedLit.java
Detected in the open source project pool/main/s/sat4j as ValuedLit.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/LearnedClauseSizeTracing.java
Detected in the open source project SAT4J core as LearnedClauseSizeTracing.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java
Detected in the open source project pool/main/s/sat4j as CompetResolutionPBMixedHTClauseCardConstrDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/target/META-INF/MANIFEST.MF
Detected in the open source project An eclipse based rcp application for findbugs as MANIFEST.MF
licensed under [GNU Lesser GPL]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java
Detected in the open source project pool/main/s/sat4j as PBMinClauseCardConstrDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/AbstractOptimizationLauncher.java
Detected in the open source project SAT4J core as AbstractOptimizationLauncher.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/AbstractOutputSolver.java
Detected in the open source project SAT4J core as AbstractOutputSolver.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/RandomWalkDecorator.java
Detected in the open source project SAT4J core as RandomWalkDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/InsertionStrategy.java
Detected in the open source project SAT4J core as InsertionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/overview.html
Detected in the open source project "org.sat4j:org.sat4j.pb" as overview.html
license information not available
Also detected in 6 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/ModelIterator.java
Detected in the open source project SAT4J core as ModelIterator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/PercentLengthLearning.java
Detected in the open source project pool/main/s/sat4j as PercentLengthLearning.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/MinWatchPbLong.java
Detected in the open source project SAT4J pseudo as MinWatchPbLong.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/ImplicationRHS.java
Detected in the open source project pool/main/s/sat4j as ImplicationRHS.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/ISolver.java
Detected in the open source project pool/main/s/sat4j as ISolver.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/VarOrderHeap.java
Detected in the open source project SAT4J core as VarOrderHeap.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/SolverDecorator.java
Detected in the open source project SAT4J core as SolverDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/UnitClausesPB.java
Detected in the open source project SAT4J pseudo as UnitClausesPB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/SolutionCounter.java
Detected in the open source project pool/main/s/sat4j as SolutionCounter.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/LearntBinaryClause.java
Detected in the open source project pool/main/s/sat4j as LearntBinaryClause.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java
Detected in the open source project SAT4J pseudo as CompetMinHTmixedClauseCardConstrDataStructureFactory.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/MinWatchCardPB.java
Detected in the open source project SAT4J pseudo as MinWatchCardPB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/LimitedLearning.java
Detected in the open source project pool/main/s/sat4j as LimitedLearning.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/ImplicationAnd.java
Detected in the open source project pool/main/s/sat4j as ImplicationAnd.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PBMaxDataStructure.java
Detected in the open source project pool/main/s/sat4j as PBMaxDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/OPBStringSolver.java
Detected in the open source project SAT4J pseudo as OPBStringSolver.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/IWatchPb.java
Detected in the open source project SAT4J pseudo as IWatchPb.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/TextOutputTracing.java
Detected in the open source project SAT4J core as TextOutputTracing.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/core/DefaultComparator.java
Detected in the open source project pool/main/s/sat4j as DefaultComparator.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/Lits.java
Detected in the open source project SAT4J core as Lits.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PBContainer.java
Detected in the open source project pool/main/s/sat4j as PBContainer.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverMerging.java
Detected in the open source project SAT4J pseudo as PBSolverMerging.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java
Detected in the open source project SAT4J pseudo as CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/QuickXplain2001Strategy.java
Detected in the open source project SAT4J core as QuickXplain2001Strategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/LearningStrategy.java
Detected in the open source project pool/main/s/sat4j as LearningStrategy.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/restarts/ArminRestarts.java
Detected in the open source project pool/main/s/sat4j as ArminRestarts.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/restarts/MiniSATRestarts.java
Detected in the open source project pool/main/s/sat4j as MiniSATRestarts.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/build.properties
Detected in the open source project pool/main/s/sat4j as build.properties
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/WeightedObject.java
Detected in the open source project pool/main/s/sat4j as WeightedObject.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/learning/AbstractLearning.java
Detected in the open source project pool/main/s/sat4j as AbstractLearning.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/core/ASolverFactory.java
Detected in the open source project pool/main/s/sat4j as ASolverFactory.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Propagatable.java
Detected in the open source project SAT4J core as Propagatable.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/CardinalityDataStructure.java
Detected in the open source project pool/main/s/sat4j as CardinalityDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/MapPb.java
Detected in the open source project SAT4J pseudo as MapPb.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/OptToPBSATAdapter.java
Detected in the open source project SAT4J pseudo as OptToPBSATAdapter.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java
Detected in the open source project pool/main/s/sat4j as InternalMapPBStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/DimacsStringSolver.java
Detected in the open source project SAT4J core as DimacsStringSolver.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/VarActivityListener.java
Detected in the open source project pool/main/s/sat4j as VarActivityListener.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/LexicoDecoratorPB.java
Detected in the open source project SAT4J pseudo as LexicoDecoratorPB.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Solver.java
Detected in the open source project SAT4J core as Solver.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/LanceurPseudo2005.java
Detected in the open source project pool/main/s/sat4j as LanceurPseudo2005.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/reader/OPBReader2010.java
Detected in the open source project SAT4J pseudo as OPBReader2010.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.java
Detected in the open source project SAT4J core as RSATPhaseSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/messages.properties
Detected in the open source project Opt4J as messages.properties
licensed under [GNU Library or Lesser General Public License (LGPL)]
Also detected in 6 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/restarts/NoRestarts.java
Detected in the open source project pool/main/s/sat4j as NoRestarts.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/UnitClause.java
Detected in the open source project SAT4J core as UnitClause.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/DotSearchTracing.java
Detected in the open source project pool/main/s/sat4j as DotSearchTracing.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.java
Detected in the open source project SAT4J core as RandomLiteralSelectionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/SolverStats.java
Detected in the open source project SAT4J core as SolverStats.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/ContradictionException.java
Detected in the open source project pool/main/s/sat4j as ContradictionException.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/MinimizationStrategy.java
Detected in the open source project SAT4J core as MinimizationStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java
Detected in the open source project pool/main/s/sat4j as AbstractDataStructureFactory.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverCautious.java
Detected in the open source project SAT4J pseudo as PBSolverCautious.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/ConstrActivityListener.java
Detected in the open source project pool/main/s/sat4j as ConstrActivityListener.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/Minimal4InclusionModel.java
Detected in the open source project pool/main/s/sat4j as Minimal4InclusionModel.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/org/sat4j/maxsat/MinCostDecorator.java
Detected in the open source project SAT4J maxsat as MinCostDecorator.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/xplain/DeletionStrategy.java
Detected in the open source project SAT4J core as DeletionStrategy.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/LearntHTClausePB.java
Detected in the open source project pool/main/s/sat4j as LearntHTClausePB.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/MUSLauncher.java
Detected in the open source project SAT4J core as MUSLauncher.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/Messages.java
Detected in the open source project pool/main/s/sat4j as Messages.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/PBMinDataStructure.java
Detected in the open source project pool/main/s/sat4j as PBMinDataStructure.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/IOptimizationProblem.java
Detected in the open source project SAT4J core as IOptimizationProblem.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/plugin.properties
Detected in the open source project "org.sat4j:org.sat4j.core" as plugin.properties
license information not available
Also detected in 7 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/Reader.java
Detected in the open source project pool/main/s/sat4j as Reader.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBDataStructureFactory.java
Detected in the open source project pool/main/s/sat4j as PBDataStructureFactory.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/reader/InstanceReader.java
Detected in the open source project pool/main/s/sat4j as InstanceReader.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/BasicLauncher.java
Detected in the open source project SAT4J core as BasicLauncher.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/maxsat/org/sat4j/maxsat/reader/WDimacsReader.java
Detected in the open source project SAT4J maxsat as WDimacsReader.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/tools/DependencyHelper.java
Detected in the open source project SAT4J pseudo as DependencyHelper.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/cnf/BinaryClause.java
Detected in the open source project pool/main/s/sat4j as BinaryClause.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java
Detected in the open source project pool/main/s/sat4j as AbstractCardinalityDataStructure.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/IVecInt.java
Detected in the open source project SAT4J core as IVecInt.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/SearchParams.java
Detected in the open source project pool/main/s/sat4j as SearchParams.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/MaxWatchPb.java
Detected in the open source project pool/main/s/sat4j as MaxWatchPb.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/specs/IteratorInt.java
Detected in the open source project pool/main/s/sat4j as IteratorInt.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/reader/OPBReader2005.java
Detected in the open source project SAT4J pseudo as OPBReader2005.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/SingleSolutionDetector.java
Detected in the open source project "org.sat4j:org.sat4j.core" as SingleSolutionDetector.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/DataStructureFactory.java
Detected in the open source project pool/main/s/sat4j as DataStructureFactory.java
license information not available
Also detected in 4 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/Heap.java
Detected in the open source project pool/main/s/sat4j as Heap.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/tools/OptToSatAdapter.java
Detected in the open source project SAT4J core as OptToSatAdapter.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/WatchPbLong.java
Detected in the open source project SAT4J pseudo as WatchPbLong.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/core/UnitPropagationListener.java
Detected in the open source project pool/main/s/sat4j as UnitPropagationListener.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/reader/OPBReader2007.java
Detected in the open source project pool/main/s/sat4j as OPBReader2007.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java
Detected in the open source project pool/main/s/sat4j as MixedDataStructureDanielWL.java
license information not available
Also detected in 3 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java
Detected in the open source project pool/main/s/sat4j as AbstractPBClauseCardConstrDataStructure.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java
Detected in the open source project pool/main/s/sat4j as AbstractPBDataStructureFactory.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/core/PBSolverClause.java
Detected in the open source project SAT4J pseudo as PBSolverClause.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/target/META-INF/MANIFEST.MF
Detected in the open source project An eclipse based rcp application for findbugs as MANIFEST.MF
licensed under [GNU Lesser GPL]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/pb/org/sat4j/pb/constraints/pb/LearntBinaryClausePB.java
Detected in the open source project pool/main/s/sat4j as LearntBinaryClausePB.java
license information not available
Also detected in 2 other open source projects
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/AbstractLauncher.java
Detected in the open source project SAT4J core as AbstractLauncher.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
-
/home/erwan/Desktop/OW2-codebase/sat4j-2.3.0/core/org/sat4j/minisat/constraints/card/MaxWatchCard.java
Detected in the open source project SAT4J core as MaxWatchCard.java
licensed under [GNU Lesser GPL 2.1, Eclipse Public License 1.0]
Show more results on Antepedia
|