scikit-opt is a Python optimization library and numerical framework designed to solve complex global optimization problems. It provides a suite of metaheuristic algorithms and tools for finding global minima or maxima of objective functions. The library implements a variety of nature-inspired and swarm intelligence algorithms, including Genetic Algorithms, Particle Swarm Optimization, Differential Evolution, Simulated Annealing, and Ant Colony Optimization. It includes specialized solvers for discrete combinatorial challenges, such as the Traveling Salesman Problem. The framework supports th
MathUtilities is a collection of specialized toolkits providing engines for geometry, computer vision, mathematics, physics simulation, and signal processing. It functions as a comprehensive mathematics and physics library focused on linear algebra, numerical optimization, and geometric calculations for technical applications. The project distinguishes itself through a physics simulation toolkit and a 3D geometry engine. These provide capabilities for Verlet integration, iterative inverse kinematics solvers, distance field rendering via volumetric raymarching, and mesh geometry deformation. I
Triton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a multi-architecture CPU emulator, an SMT-based symbolic execution engine, and a dynamic taint analysis tool. The framework translates raw machine instructions into abstract syntax trees, allowing it to represent binary program logic as a structured intermediate representation. This allows the system to map multiple hardware instruction sets to a single analysis framework and translate machine instructions into mathematical formulas for solving constraints. Its capabilities cover the simul
mujoco_menagerie is a curated library of physical robot specifications and XML model definitions designed for standardized dynamics and contact simulation. It provides a collection of high-quality robot model files for humanoids, quadrupeds, and manipulators, alongside detailed kinematic and inertial parameters used to reproduce real-world robot behavior in virtual environments. The project serves as a repository of robotics simulation assets and MJCF model definitions optimized for accuracy. It includes standardized model libraries specifically for bipedal, quadrupedal, and humanoid hardware
OR-Tools is a software suite for combinatorial optimization, constraint programming, and mathematical modeling. It provides a framework for defining complex problems involving variables and logical constraints, enabling the systematic search for feasible or optimal solutions.
الميزات الرئيسية لـ google/or-tools هي: Optimization & Solvers, Vehicle Routing Systems, Constraint Programming, Constraint Solvers, Optimization Engines, Supply Chain Network Design Tools, Mathematical Libraries and Utilities, Operational Schedulers.
تشمل البدائل مفتوحة المصدر لـ google/or-tools: guofei9987/scikit-opt — scikit-opt is a Python optimization library and numerical framework designed to solve complex global optimization… zalo/mathutilities — MathUtilities is a collection of specialized toolkits providing engines for geometry, computer vision, mathematics,… trailofbits/manticore — Manticore is a symbolic execution engine designed for the analysis of binary executables and smart contracts. It… google-deepmind/mujoco_menagerie — mujoco_menagerie is a curated library of physical robot specifications and XML model definitions designed for… jonathansalwan/triton — Triton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a… juspay/hyperswitch — Hyperswitch is a payment orchestration platform designed to manage complex transaction lifecycles through a…