This manuscript presents an updated open-source version of the Hypersonics Task-based Research (HTR) solver. The solver, whose main features are presented in Di Renzo et al. (2020) [9] and & Pirozzoli (2021) [10], is designed for direct numerical simulation reacting flows at high Reynolds numbers. new extends applications HTR solver to turbulent combustion presence external electric fields. In ...

In this article we introduce a fast iterative solver for sparse matrices arising from the finite element discretization of elliptic PDEs. The solver uses a fast direct multi-frontal solver as a preconditioner to a simple fixed point iterative scheme. This approach combines the advantages of direct and iterative schemes to arrive at a fast, robust and accurate solver. We will show that this solv...

Lazy clause generation is a powerful hybrid approach to combinatorial optimization that combines features from SAT solving and finite domain (FD) propagation. In lazy clause generation finite domain propagators are considered as clause generators that create a SAT description of their behaviour for a SAT solver. The ability of the SAT solver to explain and record failure and perform conflict di...

This paper presents a very simple implementation of a fluid solver. Our solver is consistent with the equations of fluid flow and produces velocity fields that contain incompressible rotational structures and that dynamically react to user-supplied forces. The solver is specialized for a fluid which wraps around in space. This allows us to take advantage of the Fourier transform which greatly s...

This paper presents a very simple implementation of a fluid solver. Our solver is consistent with the equations of fluid flow and produces velocity fields that contain incompressible rotational structures and that dynamically react to user-supplied forces. The solver is specialized for a fluid which wraps around in space. This allows us to take advantage of the Fourier transform which greatly s...