ADS

Getting Started

Algorithms and Data Structures
Build and test
Use

User Guide

Layout
Where each thing comes from
Beyond the book
From The Art of Computer Programming
From Ferragina’s algorithm engineering
The exercises and the exams of the course
Engineered structures
Sorting
Design by contract
The standard interface
Further reading

API Reference

API Reference
- Full API
  - Namespaces
  - Classes and Structs
  - Enums
  - Unions
  - Functions
  - Variables
  - Defines
  - Typedefs

Project

Release Notes

ADS

API Reference
Typedef ADS::Cdcl
Edit on GitHub

Typedef ADS::Cdcl

Defined in File SatSolvers.h

Typedef Documentation

using ADS::Cdcl = BasicCdcl<>: the clause learning on std::priority_queue

Previous Next

© Copyright 2026, Donato Meoli.

Built with Sphinx using a theme provided by Read the Docs.