solver-testing

Here are 2 public repositories matching this topic...

arcticoder / warp-solver-validation

Validation framework for numerical relativity solvers. Testing protocols, benchmarking, and verification methods for spacetime metric calculations and geometric analysis.

validation latex computational-physics differential-equations numerical-methods physics-simulation general-relativity minkowski rk4 schwarzschild warp-drive solver-testing

Updated Jul 21, 2025
Python

Byt-wyze-technology / sat-instances-library

Star

Curated collection of 100+ SAT problem instances with difficulty taxonomy, solver metrics, and interactive HTML viewer

benchmark research cnf sat-solver constraint-satisfaction dimacs satisfiability dimacs-cnf solver-testing sat-instances sat-benchmarks

Updated Dec 12, 2025
HTML

Improve this page

Add a description, image, and links to the solver-testing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the solver-testing topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly