Orbiter 2022
Combinatorial Objects
orbiter::layer1_foundations::solvers Namespace Reference

Diophantine systems of equations. Solvers Possolve and Dancing Links. More...

Namespaces

namespace  mckay
 Possolve is a solver for systems of diophantine equations due to Brendan McKay (ca 1997)
 

Classes

class  diophant
 diophantine systems of equations (i.e., linear systems over the integers) More...
 
class  diophant_activity
 to perform an activity for a diophantine system using diophant_activity_description More...
 
class  diophant_activity_description
 to describe an activity for a diophantine system from command line arguments More...
 
class  diophant_create
 to create a diophantine system from diophant_description More...
 
class  diophant_description
 to describe a diophantine system from command line arguments More...
 
struct  dlx_node
 internal class for the dancing links exact cover algorithm More...
 
class  dlx_problem_description
 description of a problem instance for dancing links solver More...
 
class  dlx_solver
 An implementation of Donald Knuth's dancing links algorithm to solve exact cover problems. More...
 

Typedefs

typedef struct dlx_nodepdlx_node
 

Detailed Description

Diophantine systems of equations. Solvers Possolve and Dancing Links.

Typedef Documentation

◆ pdlx_node

Definition at line 617 of file foundations.h.