Published June 6, 2022 | Version v1
Software Open

A SAT Attack on Rota's Basis Conjecture: Supplemental source code

Authors/Creators

  • 1. TU Wien
  • 2. TU Berlin

Description

A SAT Attack on Rota's Basis Conjecture contains the source code for verifying Rota's Basis Conjecture for a given rank.
Further details on building and running the program are contained in the README.md file.

Files

src.zip

Files (30.3 kB)

Name Size Download all
md5:e9a4b9c7a5fc85991e95f75070a6a1be
30.3 kB Preview Download