Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ enqueueSolver
Method
enqueueSolver
src/nlr/ParallelSolver.cpp:37–43 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
35
}
36
37
void ParallelSolver::enqueueSolver( SolverQueue &solvers, GurobiWrapper *solver )
38
{
39
if ( !solvers.push( solver ) )
40
{
41
ASSERT( false );
42
}
43
}
44
45
} // namespace NLR
Callers
2
test_enqueueSolver
Method · 0.80
test_clear_solver_queue
Method · 0.80
Calls
1
push
Method · 0.45
Tested by
2
test_enqueueSolver
Method · 0.64
test_clear_solver_queue
Method · 0.64