drup

Here are 2 public repositories matching this topic...

CLI that creates and manages projects by leveraging docker power.

docker cli services utility drupal project installation drup

Check DRAT/DRUP proofs of unsatisfiability inside your Python process. Zero dependencies, optional Rust accelerator.

python rust sat-solver formal-verification sat drat proof-checking satisfiability drup rup

Add a description, image, and links to the drup topic page so that developers can more easily learn about it.

To associate your repository with the drup topic, visit your repo's landing page and select "manage topics."