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::Cnf
Edit on GitHub
Typedef ADS::Cnf
Defined in
File Problems.h
Typedef Documentation
using
ADS
::
Cnf
=
std
::
vector
<
Clause
>
a formula