public interface ISolver extends ILearnFactory, IMoveFactory, ISearchMonitorFactory, IResolutionHelper
setCBJLearning, setDBTLearning, setLearningSignedClauses, setNoLearning
setDDS, setDFS, setGeometricalRestart, setHBFS, setLDS, setLNS, setLNS, setLubyRestart, setRestartOnSolutions, setRestarts
limitBacktrack, limitFail, limitNode, limitSearch, limitSolution, limitTime, limitTime, setNoGoodRecordingFromRestarts, setNoGoodRecordingFromSolutions
eachSolutionWithMeasure, findAllOptimalSolutions, findAllSolutions, findLexOptimalSolution, findOptimalSolution, findParetoFront, findSolution, streamOptimalSolutions, streamSolutions
Copyright © 2018. All rights reserved.