erohkohl/n-queens-sat

Issues

• Add README with motivation and explanation to GitHub repository.

  #8 opened 7 years ago by erohkohl
  0

• Parse command line arguments: n, CDCL with https://clap.rs/

  #11 opened 7 years ago by erohkohl
  0

• Solve n-queens problem with n=8 and print board.

  #12 opened 7 years ago by erohkohl
  0

• UI: print chess board with model of queen's CNF

  #6 opened 7 years ago by erohkohl
  0

• Configure codecov to not cover test cases and only calculate percentage of src.

  #7 opened 7 years ago by erohkohl
  1

• Replace all vectors in CNF modelling with HashSet

  #3 opened 7 years ago by erohkohl
  0

• CNF: check if model solves cnf

  #10 opened 7 years ago by erohkohl
  0

• Replace all vectors in DPLL algorithm with HashSet, therefore clause order is not longer relevant.

  #1 opened 7 years ago by erohkohl
  0

• Custom struct CNF which includes: trim_cnf, equals, check_model and HashSet with clauses.

  #9 opened 7 years ago by erohkohl
  0

• Replace partial assignment vector with HashSet

  #2 opened 7 years ago by erohkohl
  0

• Conflict driven clause learning

  #5 opened 7 years ago by erohkohl
  0

• Correct spelling: clausel to clause

  #4 opened 7 years ago by erohkohl
  0