|
|
C++ |
3 |
Satisfiability solver for PB-XOR formulas |
Mar 23, 2022 |
|
|
Jupyter Notebook |
2 |
Solver for the game Semantle, with added constraints |
Jun 22, 2022 |
|
|
C++ |
7 |
A speedy constraints solver for Swift. |
Feb 18, 2022 |
|
|
Scala |
24 |
An SMT Solver for string constraints |
Mar 31, 2023 |
|
|
C++ |
2 |
GaussMaxHS, a CNF+XOR MaxSAT solver |
May 07, 2024 |
|
|
Prolog |
11 |
Top-down interpreter for ASP programs with Constraints |
Mar 12, 2023 |
|
|
Python |
5 |
Solver for the minimum dominating set problem with group constraints |
Jul 12, 2023 |
|
|
Prolog |
6 |
Constraint solver for nonlinear (polynomial) constraints over reals |
May 05, 2020 |
|
|
JavaScript |
2 |
Define constraints with JavaScript syntax. Uses cassowary.js as a solver. |
Dec 01, 2016 |
|
|
C++ |
5 |
a quadratic programming solver with support for linear equality and inequality constraints |
Feb 01, 2021 |
|
|
C++ |
2 |
A custom inverse kinematics system solver for multi-chain skeletons and with constraints. |
Dec 02, 2022 |
|
|
Python |
8 |
A solver for epistemic logic programs. |
Jul 09, 2022 |
|
|
Scala |
83 |
Solver for higher-order functional programs |
Mar 29, 2023 |
|
|
Python |
17 |
🕰️ A solver for temporal programs. |
May 06, 2022 |
|
|
Python |
14 |
Solver for sparse matrix cone programs |
Jan 31, 2023 |
|
|
Python |
2 |
A solver for epistemic logic programs. |
Aug 29, 2022 |
|
|
Matlab |
8 |
Matlab interior point solver for quadratic programs |
Jul 14, 2022 |
|
|
C++ |
33 |
A solver for mixed integer bilevel programs |
Jul 29, 2022 |
|
|
C++ |
432 |
🤔 A grounder and solver for logic programs. |
Aug 18, 2022 |
|
|
Python |
4 |
Solver for Linear Programs using Revised Simplex Method |
Mar 08, 2023 |
|
|
C# |
36 |
XOR Payload Encryptor for .NET and Payload Runner with Built-in XOR Decryptor |
Jul 03, 2022 |
|
|
Matlab |
8 |
An open source first-order MATLAB solver for conic programs with row sparsity. |
Apr 12, 2022 |
|
|
Jupyter Notebook |
15 |
Large neighbourhood solver for the multi-depot split-delivery vehicle routing problem with inventory constraints and heterogeneous … |
Apr 19, 2023 |
|
|
Assembly |
2 |
Implementing conditions purely with XOR instruction |
Apr 30, 2023 |
|
|
C++ |
4 |
XOR Obfuscator for strings |
Nov 06, 2022 |
|
|
Pascal |
2 |
XOR crypt for Delphi |
Aug 22, 2022 |
|
|
Jupyter Notebook |
3 |
FWI examples with constraints. |
Aug 04, 2022 |
|
|
Python |
3 |
Procedural generation with constraints. |
Dec 05, 2022 |
|
|
Dart |
10 |
Experimenting with rive's constraints :) |
Nov 02, 2022 |
|
|
Julia |
4 |
An active set solver for general (definite/indefinite) dense Quadratic Programs |
Sep 01, 2022 |
|
|
Julia |
180 |
A Julia/JuMP-based Global Optimization Solver for Non-convex Programs |
Sep 02, 2022 |
|
|
Jupyter Notebook |
26 |
xor activation |
Apr 05, 2021 |
|
|
Python |
2 |
XOR Images |
Nov 06, 2022 |
|
|
Assembly |
2 |
xor \x55 |
Sep 16, 2023 |
|
|
C |
40 |
Program for cryptanalyzing xor "encryption" with variable key length |
Apr 01, 2022 |
|
|
C++ |
13 |
DIP is a decomposition-based solver framework for mixed integer linear programs. |
May 09, 2022 |
|
|
Python |
3 |
xor - Bait for your Webhooks |
Apr 17, 2017 |
|
|
Java |
2 |
Cytoscape Layout with Boundary Constraints |
May 26, 2022 |
|
|
R |
2 |
Kaplan Meier estimator with Constraints |
Nov 21, 2022 |
|
|
C |
2 |
RNA folding with soft constraints |
Jul 26, 2019 |
|
|
Jupyter Notebook |
2 |
Neural Networks with quantization Constraints |
Aug 10, 2023 |
|
|
Python |
4 |
Python facilities for XOR arithmetic and higher-level routing computations in XOR space |
Jul 12, 2020 |
|
|
Go |
4 |
Xor Trie implementation |
Dec 15, 2021 |
|
|
Go |
9 |
xor byte slices |
May 09, 2022 |
|
|
C |
4 |
XOR file encryptor. |
Nov 01, 2022 |
|
|
Python |
3 |
XOR Shellcode Encoder |
Sep 11, 2022 |
|
|
Python |
44 |
XOR Key Extractor |
Mar 23, 2023 |
|
|
Python |
3 |
Simple xor implementation |
Aug 22, 2022 |
|
|
MATLAB |
53 |
An open-source MATLAB® ADMM solver for partially decomposable conic optimization programs. |
Jul 04, 2022 |
|
|
MATLAB |
3 |
wen2013 feasible method for optimization with orthogonality constraints. |
May 11, 2023 |