Introduction

PDEnclose is a verification library for partial differential equation solvers developed by Will Morris, a Ph.D. student at Georgia Tech.

Features

• Support for both real-valued execution and abstract interpretation with interval (https://github.com/Willmo3/Winterval), affine (https://github.com/Willmo3/Caffeine), mixed affine-interval (https://github.com/Willmo3/DualDomain), and synthesized zonotope (https://dl.acm.org/doi/abs/10.1145/3763088) numeric domains.
• CFL compliance guarantees for finite difference and finite volume methods.
• Distributed input splitting for finite difference methods using MPI.
• Configurable parallel solving with OpenMP.
• Extensible numeric interface that allows interpretation with any compliant domain.

Future Directions

• GPU parallelism on-node
• Support for more finite volume solvers
• Support for multidimensional PDEs
• Support for neural PDEs / SciML

Dependences

Many dependences here will be downloaded automatically with our build scripts.

Required

System Tools

• CMake >= 3.5
• A CPP compiler. Both gcc and clang should work.

Libraries

All libraries can be downloaded manually or with update_deps script.

• Cereal
• Winterval
• Caffeine
• DualDomain

Optional

System Tools

• git
• curl (for download scripts)

Libraries

• OpenMP
• MPI

Building

1. Navigate to the ./scripts directory
2. Execute ./update_deps
3. Navigate to ../build
4. Execute cmake -DCMAKE_BUILD_TYPE=Release ..
5. Execute make

Running

• Executing ./run_sanity_tests.py will create a simulations directory with source files and run all of them.
• Binaries can be found in out. This includes unit tests.