Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 30, 2021

• Update readme

  flopp

  committed
  b4d1f83

  Copy full SHA for b4d1f83

• Use Mergesat (a maintained Minisat fork).

  flopp

  committed
  39412b2

  Copy full SHA for 39412b2

Commits on Nov 7, 2015

• extended readme

  flopp

  committed
  b959e0f

  Copy full SHA for b959e0f

• extended readme

  flopp

  committed
  260030f

  Copy full SHA for 260030f

Commits on Oct 11, 2015

• cleanup

  flopp

  committed
  1fd4031

  Copy full SHA for 1fd4031

• Generator class, put formula generation in seaparate file

  flopp

  committed
  ed44ecf

  Copy full SHA for ed44ecf

• moved minisat stuff to cmake/minisat.cmake

  flopp

  committed
  663f920

  Copy full SHA for 663f920

Commits on Oct 10, 2015

• added support for template files

  flopp

  committed
  f525cde

  Copy full SHA for f525cde

Commits on Oct 9, 2015

• setting GIT_TAG

  flopp

  committed
  223d30b

  Copy full SHA for 223d30b

Commits on Oct 8, 2015

• unsing minisat's SimpSolver

  flopp

  committed
  168f5b5

  Copy full SHA for 168f5b5

• added randomChoice(...)

  flopp

  committed
  5cca20a

  Copy full SHA for 5cca20a

• generator adds walls to corner fields

  flopp

  committed
  02bd90d

  Copy full SHA for 02bd90d

Commits on Oct 7, 2015

• conflict clause assisted lifting

  flopp

  committed
  a745309

  Copy full SHA for a745309

• freezing variables of open and essential walls

  flopp

  committed
  ae3a480

  Copy full SHA for ae3a480

• boost based command line parser

  flopp

  committed
  1fa30e8

  Copy full SHA for 1fa30e8

• fixed output

  flopp

  committed
  a58444f

  Copy full SHA for a58444f

• Update README.md

  flopp

  committed
  d656277

  Copy full SHA for d656277

• Merge branch 'master' of github.com:flopp/alcazar-gen

  flopp

  committed
  cc2a037

  Copy full SHA for cc2a037

• init

  flopp

  committed
  1b5ba5a

  Copy full SHA for 1b5ba5a

• Create README.md

  flopp

  committed
  f3b15fc

  Copy full SHA for f3b15fc

• Initial commit

  flopp

  committed
  c2727b3

  Copy full SHA for c2727b3