sarsko/CreuSAT

Issues

• Panic at CreuSAT/src/parser.rs:130:14 on simple formula

  #44 opened 2 months ago by wintered
  5

• Thesis Typo: Lit Struct in Section 3.3

  #43 opened 4 months ago by mathatter997
  1

• Default Citation

  #40 opened 2 years ago by m-fleury
  1

• Use as a Crate? | Adding a Rust API?

  #30 opened 2 years ago by Eh2406
  5

• [CreuSAT] restart heuristic

  #38 opened 2 years ago by m-fleury
  2

• Remove runtime checks

  #15 opened 2 years ago by xldenis
  1

• Set up CI

  #14 opened 2 years ago by xldenis
  1

• Alternate clause layouts

  #12 opened 2 years ago by xldenis
  8

• Use bump / arena allocator

  #16 opened 2 years ago by xldenis
  2

• Include`ide` script in repo

  #13 opened 2 years ago by xldenis
  1