RBDL - Rigid Body Dynamics Library - ORB Version - The two main differences to the original rbdl is that this version has error handling and uses polymorphism for constraints

[ICCV 2015] Framework for optimizing CNNs with linear constraints for Semantic Segmentation

Quadratic program based Inverse kinematic solver for mutli-robotic arms with respect to the kinematic and self-collision avoidance constraints

A cloth and soft body simulation library, using position based dynamics.

General meta-Heuristic Optimization Solving Toolkit

High-level UAV managers in ROS, part of the "mrs_uav_core" package.

A Python API for the MiniSat and MiniCard constraint solvers.

XCSP3 Core Parser in C++

COmpact SOlver for COnstrained problems

cSPADE: mining frequent sequence patterns with constraints (extension of SPADE)

A Room Generator based on a CSP Solver

Just a fun challenge for me. Trying to maintain a consistent streak on Github by solving one coding challenge every day.

oRatio is an Integrated Logic and Constraint based solver

A C++ which can solve a linear programming problem through graphical method.

A CGAL Polyhedron demo plugin for surface mesh simplification with color based constraints

Modified Kirenenko for Constraints Dumping

NACRE : Nogood And Clause Reasoning Engine

Sorted the given doubly linked list of size N using quicksort. Created a function partition(), which accepts the first and last node of the given linked list as input parameters and returns the pivot's address. Expected Time Complexity: O(NlogN), Expected Auxilliary Space: O(1), Constraints: 1 <= N <= 200

A Javascript API for the MiniSat and MiniCard constraint solvers.

Symbolic Test Generalization Instrumentation LLVM Pass