▼ docs | |
► geometry | |
p2r1.png | |
p2r2.png | |
p2r3.png | |
p2rboost1.png | |
p2rboost2.png | |
p2rboost3.png | |
polygon1.png | |
polygon2.png | |
▼ limbo | |
► algorithms | |
► coloring | |
BacktrackColoring.h | Graph coloring by backtracking |
ChromaticNumber.h | Return chromatic number of a graph |
Coloring.h | Base class for all graph coloring algorithms |
GraphSimplification.h | Various graph simplification techniques for graph coloring. Some of them can also be used in other applications |
GreedyColoring.h | Coloring a graph with saturation degree based heuristics |
ILPColoring.h | Coloring algorithm based on integer linear programming (ILP) with Gurobi as ILP solver |
ILPColoringLemonCbc.h | Coloring algorithm based on integer linear programming (ILP) with Cbc as ILP solver |
LPColoring.h | Coloring algorithm based on iterative linear programming (LP) and rounding |
LPColoringOld.h | Coloring algorithm based on iterative linear programming (LP) and rounding |
MISColoring.h | |
SDPColoringCsdp.h | Graph coloring algorithm based on semidefinite programming (SDP) |
► partition | |
FM.h | Implementation of the FM partitioning algorithm |
FMMultiWay.h | Implementation of the Multi-way FM partitioning algorithm |
► placement | |
GreedySearch.h | A greedy search algorithm for placement |
GraphUtility.h | Some graph utilities such as compute complement graph and graphviz writer |
MaxClique.h | Use boost::bron_kerbosch_all_cliques to find all cliques and the maximum ones |
MaxIndependentSet.h | Solve maximum independent sets with maximum cliques |
► bibtex | |
bibconvert.py | |
► containers | |
DisjointSet.h | A disjoint set structure and union-find utilities |
FastMultiSet.h | Container of multiple-level set |
► geometry | |
► api | |
bLibApi.h | Geometry traits for bLib, include this file when bLib is used if your point class setting is different from that in the default point_traits, please create a specialization |
BoostPolygonApi.h | Geometry traits for Boost.Polygon, include this file when you use Boost.Polygon geometric types |
GeoBoostPolygonApi.h | This file extracts polygon-to-rectangle conversion for Boost.Polygon API |
Geometry.h | Contains utilities for geometric types, such as type traits, area calculator. I'm trying to make these setting as similar as Boost.Polygon, which will lead to easier embedding |
Polygon2Rectangle.h | Generic implementation of polygon-to-rectangle conversion |
Polygon2RectangleVec.h | Template specialization for std::vector. It is more efficient than generic version |
► makeutils | |
FindAR.mk | Find ar and set to AR |
FindBoost.mk | Find Boost library given BOOST_DIR, set BOOST_LINK_FLAG to either STATIC_LINK_FLAG or DYNAMIC_LINK_FLAG |
FindClang.mk | Find clang, determine CC |
FindClangxx.mk | Find clang++, determine CXX |
FindCompiler.mk | Find compiler under various platform, determine CXX, CC, FC, AR |
FindGcc.mk | Find gcc, determine CC |
FindGfortran.mk | Find gfortran, determine FC |
FindGurobi.mk | Find Gurobi library given GUROBI_HOME, set GUROBI_VERSION and GUROBI_LINK_LIB |
FindGxx.mk | Find g++, determine CXX |
FindLemon.mk | Find Lemon library given LEMON_DIR, set LEMON_LINK_FLAG to either STATIC_LINK_FLAG or DYNAMIC_LINK_FLAG |
FindLPSolve.mk | Find lpsolve library given LPSOLVE_DIR, set LPSOLVE_LINK_LIB |
FindZlib.mk | Find Zlib library given ZLIB_DIR, set ZLIB_LINK_FLAG to either STATIC_LINK_FLAG or DYNAMIC_LINK_FLAG |
GCCVersion.mk | Compute version of CXX, set GCCVERSION, assume CXX is gcc |
► math | |
Math.h | Mathematical utilities such as abs |
► parsers | |
► bookshelf | |
► bison | |
BookshelfDataBase.h | Database for Bookshelf parser |
BookshelfDriver.h | Driver for Bookshelf parser |
► def | |
► adapt | |
DefDataBase.h | Database for Def parser |
DefDriver.h | Driver for Def parser |
► ebeam | |
► bison | |
EbeamDataBase.h | Database for Ebeam parser |
EbeamDriver.h | Driver for Ebeam parser |
► gdf | |
► bison | |
GdfDataBase.h | Database for Gdf parser |
GdfDriver.h | Driver for Gdf parser |
► gdsii | |
► gdsdb | |
GdsIO.h | Wrapper to GDSII read and write with GDSII database GdsParser::GdsDB::GdsDB |
GdsObjectHelpers.h | Various GDSII objects and a top GDSII database |
GdsObjects.h | Various GDSII objects and a top GDSII database |
► stream | |
GdsDriver.h | High-level wrapper for GdsReader (deprecated) |
GdsReader.h | Read GDSII file |
GdsRecords.h | Enum of GDSII records and data types |
GdsWriter.h | Write GDSII file |
► lef | |
► adapt | |
LefDataBase.h | Database for Lef parser |
LefDriver.h | Driver for Lef parser |
► lp | |
► bison | |
LpDataBase.h | Database for Lp parser |
LpDriver.h | Driver for Lp parser |
► tf | |
► spirit | |
ErrorHandler.h | Error handler for Boost.Spirit parser |
TfParser.h | Tf parser for technology file |
► verilog | |
► bison | |
VerilogDataBase.h | Database for Verilog parser |
VerilogDriver.h | Driver for Verilog parser |
► preprocessor | |
AssertMsg.h | Assertion with message |
Msg.h | Header to include PrintMsg.h and AssertMsg.h |
PrintMsg.h | Functions for printing messages |
► programoptions | |
ConversionHelpers.h | Helper function objects for various data types |
ProgramOptions.h | Top API for Limbo.ProgramOptions |
► solvers | |
► api | |
CsdpEasySdpApi.h | This file is a modified version of easysdp.c in Csdp package. Original version does not provide control over parameters and print level. The function limbo::solvers::easy_sdp_ext passes two additional parameters for better flexibility |
GurobiApi.h | Gurobi API wrapper using its C API |
LPSolveApi.h | Lpsolve API wrapper using its C API |
► lpmcf | |
Lgf.h | Solve linear programming with min-cost flow |
LpDualMcf.h | Solve linear programming problem with dual min-cost flow |
DualMinCostFlow.h | Solve a special case of linear programming with dual min-cost flow. A better implementation of LpDualMcf.h |
MinCostFlow.h | Solve a special case of linear programming with primal min-cost flow |
MultiKnapsackLagRelax.h | Solve multiple knapsack problem with lagrangian relaxation |
Numerical.h | Numerical functions for linear algebra |
Solvers.h | Basic utilities such as variables and linear expressions in solvers |
► string | |
String.h | Check string is integer, floating point, number... Convert string to upper/lower cases |
ToString.h | Convert metadata type to string |
▼ test | |
► algorithms | |
test_ChromaticNumber.cpp | Test chromatic number algorithm |
test_FM.cpp | Test FM partitioning algorithms |
test_GraphSimplification.cpp | Test graph simplification algorithms limbo::algorithms::coloring::GraphSimplification |
test_ILPColoring.cpp | Test ILP based coloring algorithm limbo::algorithms::coloring::ILPColoring |
test_LPColoring.cpp | Test LP based coloring algorithm limbo::algorithms::coloring::LPColoring |
test_MISColoring.cpp | Test MIS based coloring algorithm limbo::algorithms::coloring::MISColoring |
test_SDPColoring.cpp | Test SDP coloring algorithm |
► geometry | |
test_blibapi.cpp | |
test_boostpolygonapi.cpp | |
test_p2r.cpp | |
► parsers | |
► bookshelf | |
test_bison.cpp | Test bookshelf parser, see BookshelfParser::Driver and BookshelfParser::BookshelfDataBase |
► def | |
test_adapt.cpp | Test def parser, see DefParser::Driver and DefParser::DefDataBase |
► ebeam | |
test_bison.cpp | Test ebeam parser, see EbeamParser::Driver and EbeamParser::EbeamDataBase |
► gdf | |
test_bison.cpp | Test gdf parser, see GdfParser::Driver and GdfParser::GdfDataBase |
► gdsii | |
test_driver.cpp | |
test_gdsdb.cpp | Test GdsParser::GdsDriver |
test_reader.cpp | Test GdsParser::GdsReader |
test_writer.cpp | Test GdsParser::GdsWriter |
► lef | |
test_adapt.cpp | Test lef parser, see LefParser::Driver and LefParser::LefDataBase |
► lp | |
test_bison.cpp | Test lp parser, see LpParser::Driver and LpParser::LpDataBase |
► tf | |
test_spirit.cpp | Test tf parser, see TfParser::read and TfParser::TfDataBase |
► verilog | |
test_bison.cpp | Test verilog parser, see VerilogParser::Driver and VerilogParser::VerilogDataBase |
► programoptions | |
test_ProgramOptions.cpp | Test usage of program options |
test_ProgramOptions_simple.cpp | Test usage of program options |
► solvers | |
► lpmcf | |
test_lpmcf.cpp | Test limbo::solvers::lpmcf::Lgf and limbo::solvers::lpmcf::LpDualMcf |
test_DualMinCostFlow.cpp | Test dual min-cost flow solver limbo::solvers::DualMinCostFlow |
test_GurobiApi.cpp | Test Gurobi API limbo::solvers::GurobiLinearApi |
test_LPSolveApi.cpp | Test LPSolve API limbo::solvers::LPSolveLinearApi |
test_MinCostFlow.cpp | Test min-cost flow solver limbo::solvers::MinCostFlow |
test_MultiKnapsackLagRelax.cpp | Test limbo::solvers::MultiKnapsackLagRelax algorithm |
test_solvers.cpp | Test API of solvers in limbo::solvers::LinearModel |
► string | |
test_compare.cpp | Test case-sensitivity of string comparison |
test_string.cpp | Test string functions |