|
Mar 05, 2025
—
Mar 05, 2026
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| fix javadoc |
|
More... | almost 17 years ago | |||
| 1_0 |
|
More... | almost 17 years ago | |||
| readme.txt + multiple file input |
|
More... | almost 17 years ago | |||
| [no comment] |
|
More... | almost 17 years ago | |||
| startup script for windows and linux/unix |
|
More... | almost 17 years ago | |||
| file input work |
|
More... | almost 17 years ago | |||
| [no comment] |
|
More... | almost 17 years ago | |||
| [no comment] |
|
More... | almost 17 years ago | |||
| Fix warnings reported by "FindBugs" |
|
More... | almost 17 years ago | |||
| - option for saving generated input |
|
More... | almost 17 years ago | |||
| multithreaded generation: the sequence generation runs in a separate thread |
|
More... | almost 17 years ago | |||
| ignore the "target" directory |
|
More... | almost 17 years ago | |||
| dopisolver generator on command line |
|
More... | almost 17 years ago | |||
| trunk |
|
More... | almost 17 years ago | |||