Search Results for "or-tools"
Sort By:
Showing 3 open source projects for "or-tools"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
sigma-file-manager
"Sigma File Manager" is a free, open-source, quickly evolving app
...Designed, developed, and maintained by Aleksey Hoffman | Twitter | Reddit. Create the best existing intelligent file manager & productivity app that will significantly speed up your workflow, provide you with advanced tools, and keep your data safe. Find any file/directory on your computer in just a few seconds. It also implements a typo correction system, allowing you to find files even when the search query includes typos, wrong case, wrong word order, missing words, missing symbols, and missing file extension. Create separate workspaces with their own tabs and pre-defined actions, allowing you to quickly switch between them. ... -
2
Souper
A superoptimizer for LLVM IR
...Souper can operate in multiple modes: as a standalone analysis tool that extracts and solves SMT queries from LLVM bitcode, or as an LLVM optimization pass that applies discovered optimizations directly to the IR. It integrates seamlessly with Clang and LLVM tools and supports caching mechanisms (RAM or Redis) to accelerate repeated analyses. The system can output suggested rewrites for developers or automatically apply transformations, helping compiler engineers improve optimization passes. -
3
- Previous
- You're on page 1
- Next
