SAT-STEP/SAT-STEP issues and pull requests

#99 - merge cadical with production settings.

Pull Request - State: closed - Opened by rikumat 12 months ago

#98 - Cadical release mode

Pull Request - State: closed - Opened by rikumat 12 months ago

#97 - Compile cadical with optimizations

Pull Request - State: closed - Opened by pavezzo 12 months ago - 1 comment

#96 - Development

Pull Request - State: closed - Opened by Capscience 12 months ago - 1 comment

#95 - Made it easier to differenciate sudokus in statistics.

Pull Request - State: closed - Opened by Capscience 12 months ago

#94 - Document functionality

Pull Request - State: closed - Opened by lxhelmer 12 months ago - 1 comment

#93 - Development

Pull Request - State: closed - Opened by Capscience 12 months ago - 1 comment

#92 - Fix typo in file name

Pull Request - State: closed - Opened by VSinerva 12 months ago - 1 comment

#91 - add function for getting cell reference

Pull Request - State: closed - Opened by rikumat 12 months ago - 1 comment

#90 - Fix scroll bug

Pull Request - State: closed - Opened by VSinerva 12 months ago - 2 comments

#89 - Update README.md

Pull Request - State: closed - Opened by HeljaeRaeisaenen 12 months ago - 1 comment

#88 - Prettify GUI

Pull Request - State: closed - Opened by a-bzzzz 12 months ago - 1 comment

#87 - Light/Dark theming and toggle

Pull Request - State: closed - Opened by lxhelmer 12 months ago - 3 comments

#86 - Added multiple doc-comments.

Pull Request - State: closed - Opened by Capscience 12 months ago - 1 comment

#85 - Csv statistics

Pull Request - State: closed - Opened by Capscience 12 months ago

#84 - Statistics

Pull Request - State: closed - Opened by pavezzo 12 months ago - 2 comments

#83 - Show decided variables in trail

Pull Request - State: closed - Opened by HeljaeRaeisaenen 12 months ago - 5 comments

#82 - Sprint 5 to production

Pull Request - State: closed - Opened by a-bzzzz 12 months ago - 2 comments

#81 - Underlining satisfied variables

Pull Request - State: closed - Opened by HeljaeRaeisaenen 12 months ago - 1 comment

#80 - Redo trail and conflict literal visualization

Pull Request - State: closed - Opened by VSinerva 12 months ago - 1 comment

#79 - Conflict literal underlining

Pull Request - State: closed - Opened by VSinerva 12 months ago - 1 comment

#78 - User warning triangle

Pull Request - State: closed - Opened by lxhelmer 12 months ago

#77 - Delete gui-testing directory

Pull Request - State: closed - Opened by VSinerva almost 1 year ago

#76 - Update practices.md

Pull Request - State: closed - Opened by VSinerva almost 1 year ago

#75 - Update eframe and egui to 0.24.0

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#74 - Add comments

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#73 - Fixed binary

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#72 - Add edit button

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#71 - Tooltips for encoding checkboxes

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#70 - Fix conflicts

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 2 comments

#69 - Fix fixed literals not resetting correctly

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#68 - Merge sprint 4 additions to main.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#67 - Arrow keys for new sudoku inputting

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#66 - Many decimal-based CNF encodings

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#65 - Fix trail gui

Pull Request - State: closed - Opened by a-bzzzz about 1 year ago - 2 comments

#64 - Controllable type

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 3 comments

#63 - Fixed literals

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#62 - Tests for binary cnf

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#61 - Eq visualization

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#60 - Cell map for binary cnf

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#59 - Encoding selection

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#58 - Improve little symbols

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#57 - Refactor sudoku grid

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 2 comments

#56 - Fix trail

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#55 - Problems in trail panel

Issue - State: closed - Opened by lxhelmer about 1 year ago - 1 comment

#52 - Fixed tests in lib.rs overriding tests in tests.rs.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#51 - Move tests from lib.rs to tests.rs

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#50 - Sprint 3 version to production

Pull Request - State: closed - Opened by pavezzo about 1 year ago

#49 - Move button to right

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 2 comments

#48 - Minor changes to caching

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#47 - Sudoku save

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 3 comments

#46 - Key input merge

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#45 - Trail visualization

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 3 comments

#44 - Key input

Pull Request - State: closed - Opened by a-bzzzz about 1 year ago - 1 comment

#43 - Add solver to fix GUI input error

Pull Request - State: closed - Opened by a-bzzzz about 1 year ago - 1 comment

#42 - Add solver to fix GUI input error

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#42 - Add solver to fix GUI input error

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#41 - Seperate controls, fixed

Pull Request - State: closed - Opened by rikumat about 1 year ago - 1 comment

#41 - Seperate controls, fixed

Pull Request - State: closed - Opened by rikumat about 1 year ago - 1 comment

#41 - Seperate controls, fixed

Pull Request - State: closed - Opened by rikumat about 1 year ago - 1 comment

#40 - moved buttons to their own file

Pull Request - State: closed - Opened by rikumat about 1 year ago

#40 - moved buttons to their own file

Pull Request - State: closed - Opened by rikumat about 1 year ago

#40 - moved buttons to their own file

Pull Request - State: closed - Opened by rikumat about 1 year ago

#39 - Graphical sudoku input

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 3 comments

#38 - Binary cnf

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#38 - Binary cnf

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#38 - Binary cnf

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#38 - Binary cnf

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#37 - Sudoku grid refact

Pull Request - State: closed - Opened by rikumat about 1 year ago - 1 comment

#37 - Sudoku grid refact

Pull Request - State: closed - Opened by rikumat about 1 year ago - 1 comment

#37 - Sudoku grid refact

Pull Request - State: closed - Opened by rikumat about 1 year ago - 1 comment

#36 - Gui improvements

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#36 - Gui improvements

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#36 - Gui improvements

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#35 - Development

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#35 - Development

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#35 - Development

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#34 - Empty PR from mock branch for CI testing

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#34 - Empty PR from mock branch for CI testing

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#34 - Empty PR from mock branch for CI testing

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#33 - Add ./target to the cache, as this is where a lot of things are stored

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#33 - Add ./target to the cache, as this is where a lot of things are stored

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#33 - Add ./target to the cache, as this is where a lot of things are stored

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#32 - Add caching support to CI to speed up CI runs

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#32 - Add caching support to CI to speed up CI runs

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#32 - Add caching support to CI to speed up CI runs

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#31 - Merge documentation changes from main

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#31 - Merge documentation changes from main

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#31 - Merge documentation changes from main

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#30 - Update ci.yml

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#30 - Update ci.yml

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#30 - Update ci.yml

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#29 - Document for manual gui testing

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#29 - Document for manual gui testing

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#29 - Document for manual gui testing

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#28 - Show literals

Pull Request - State: closed - Opened by Capscience about 1 year ago

#28 - Show literals

Pull Request - State: closed - Opened by Capscience about 1 year ago

#28 - Show literals

Pull Request - State: closed - Opened by Capscience about 1 year ago

#27 - Implement trail exporting to cadical

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 3 comments

#27 - Implement trail exporting to cadical

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 3 comments

GitHub / SAT-STEP/SAT-STEP issues and pull requests