Repositories
Servers
Shared Files
JabberHive
Passphraser
Contact Info
Tacticians Online Tonkadur Play English Board Games in Toulouse The Unclaimed Ambassador
aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterDisables the "inferred" feature by default.nsensfel5 years
time-domains-calculatorStarts the Time Domains Calculator.Nathanael Sensfelder5 years
instance-calculatorEnables verbose mode.Nathanael Sensfelder5 years
improved_makefilesFor some reason, CNE_01700 no longer works.Nathanael Sensfelder5 years
skol_only_the_solutionTagged variables are now the only skolemized vars.Nathanael Sensfelder5 years
 
 
AgeCommit messageAuthor
2017-10-31Disables the "inferred" feature by default.HEADmasternsensfel
2017-10-31Adds error when no data is fed to parser.nsensfel
2017-10-31Adds a Java version of prop-to-pred.nsensfel
2017-09-27Limits the creation of atom-relations to "String".Nathanael Sensfelder
2017-09-26Adds some missing files.Nathanael Sensfelder
2017-09-25Fixes dependency rule issues.Nathanael Sensfelder
2017-09-25Updates Tests, fixes 2 properties & inferred/*.modNathanael Sensfelder
2017-09-21Got some property dependencies to work.Nathanael Sensfelder
2017-09-20Solves the missing solutions bug. Starts PropDeps.Nathanael Sensfelder
2017-09-20Adds comments to CNE_01700.Nathanael Sensfelder
[...]
 
Clone
https://git.noot-noot.org/clone/tabellion