With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You 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 secuirty. Auth0 now, thank yourself later.
Try free now
Bright Data - All in One Platform for Proxies and Web Scraping
Say goodbye to blocks, restrictions, and CAPTCHAs
Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
Sudoku solver v1.0 is an open source utility designed by Ankur Vijay (Messi) to solve all sudoku puzzles of NxN size. It can count and report the total number of possible solutions for a give n puzzle and is capable of reporting unsolvable puzzles.
The Most Powerful Software Platform for EHSQ and ESG Management
Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.
Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
Constraint Satisfaction Problems Solver for Binary constraints, input files in XML with the current format XCSP 2.1, adopted for the 2008 CSP/MaxCSP/WCSP solver competition. The solver is in C++ and use the boost library
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
Multiple dielectric transmission line calculator using a 2D field solver to compute the transmission line characteristics from the circuit trace dimensions entered by the user.
Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.
This is no Sudoku solver, but "explainer". It can guide you with logic through the solving process. Not only 9x9 grids: MxN, samurai or any layout you can describe with the board editor! Now with a great GUI! Manual, tutorial, examples...
This program allows the use of an excel file (saved as CSV) for the purposes of filling out numerous pre-printed forms and/or reports where each row equals one report/form. Original purpose was for printing 20,000 tax-reciepts for Green Party of BC.
malkriz is solver for griddlers (japanese puzzle) written as simple portable classes in c++. You'll find here complete programs using it, written for MSVC6, Qt and cgi. Web version (in slovak language): http://frix.fri.utc.sk/~johny/mkfrm.php
A very small executable for playing the original game of Sudoku. Created specifically for use from a USB stick drive. Completely portable. Completely green. Uses Bill Dupree's solver/rater. All generated games are guaranteed to have only one solution.
ksudoku is a fully-featured Sudoku puzzle generator and solver for KDE. With it you can generate and play 3D and 2D puzzles of different sizes and levels. The main algorithm is fast and extendable to any general graph coloring problem.
The horn++ library allows you to solve logical expressions in C++. The expressions must be transformed to horn clauses, which can be written as C++ expressions. The solver uses backtracking to find a solution for the logical problem.
This is a client/server/CORBA software aiming at solving partial differential equations.The server provides the solver while the client provides the input data and the handling of the output using a
graphic library, vtk.
Mcube is designed to solve 4x4x4 Rubiks Cubes (AKA, Rubiks Revenge, AKA, Master Cube). It is multiplatform, and has both console and graphical support.
The ADFC code is a computational fluid dynamics (CFD) C++ solver for incompressible viscous flow over 2D and 3D geometries. It uses finite element and the characteristic method on unstructured meshes to solve Navier-Stokes equations.